Hi, Did you get any solution to this problem? I am having similar issues with a TBS 6922 DVB-S/S2 card. I have a CINERGY PCIe DUAL DVB-T card that worked perfectly with a 3.5.0-17-generic 64 bits kernel in an ubuntu 12.04.1 server. When I built TBS drivers and intalled them, they overwrited module c...