I'm trying to get TBS5927 working on a Raspberry Pi running Raspbian. I'm no expert on kernel modules, but as far as I can tell, when looking at an x86 system where this driver works, what I'm supposed to have is dvb_usb_tbs5927, which depends on dvb_usb, which depends on dvb_core. On the Pi, the ke...