distro with kernel support for DVB-T dongles?

[mkaut]

Is there an image, preferably Debian or Ubuntu, with kernel modules for DVB-T dongles included?
In particular, I need dvb-usb-it913x and it913x-fe modules, but I do not see any dvb-related modules in /lib/modules in any of the images I have found.

(I wanted to use my Pine64 as a tvheadend-server for Kodi. It worked out of the box with my Raspberry pi, but it died recently and I wanted to replace it with something faster..)

Thanks.

[lenny.raposo-pine64.pro]

https://www.pine64.pro/downloads/#Debian-Linux

should have support for your device right out of the box.

Only way to know is to give it try but since kernel 3.2 it has been supported

[mkaut]

https://www.pine64.pro/downloads/#Debian-Linux

should have support for your device right out of the box.

Only way to know is to give it try but since kernel 3.2 it has been supported

Are these different from those at http://wiki.pine64.org? Confusing, with several sites..

Anyway, I just tried the "Debian Base (3.10.102 BSP)" image and it is the same story  
That's a fourth or fifth image I have tried, so it looks like I will just have to buy another Raspberry pi...