Hello, I am a happy owner of the NanoPC-T6 but I can't get my USB DVB-T (IT9135 BDA Afatech) receiver to work in debian or ubuntu in any way. From what I understand, the v4l-dvb module is completely missing in your Debian and Ubuntu distributions and the kernel would have to be recompiled entirely t...