DVB-s PCI cards under Linux