The problem is not the unavailability of the driver (it is available here: tbsdtv/linux_mediawiki), but after installing the driver, I get 2 frontends and later in tvheadend this I become a problem. The dvb-s tuner is not showing up anymore unless all the other tuners are disabled. So basically, tvheadend somehow is not able to handle this case: to have both dvb-t/t2 and dvb-s/s2 tuners enabled in tvheadend (I'm not refering to use them in same time, I know that would not be possible for this device).