Trovato il workaround, bisogna usare il demux3.
Per crossepg ci sono due possibilità:
1) modificare il file src/common.h sostituendo la linea
codice: #define DEFAULT_DEMUXER "/dev/dvb/adapter0/demux0"
con
codice: #define DEFAULT_DEMUXER "/dev/dvb/adapter0/demux3"
e rigenerare il file .ipk
2) modificare il file crossepglib.py sostituendo la linea
codice: x = "%s/crossepg_downloader -r -d %s" % (self.home_directory, dbdir)
con
codice: x = "%s/crossepg_downloader -x /dev/dvb/adapter0/demux3 -r -d %s" % (self.home_directory, dbdir)
e fare il restart della GUI
Il metodo 2) risulta più semplice, in attesa che l'autore di crossepg aggiunga anche il demux tra i parametri configurabili.