Hello.
I upgraded (long delayed) from 13.x to 42.3.
the sources will not compile.
You need to install the vanilla kernel + source.
then it will work, at least for my setup: a DVB-S2 USB ( older 5980) with a CI interface.
You need to get the sources from here: (instructions I got from support, thanks )
and you need to be root, since you are installing device drivers...
you can have a try with this pakage :
#wget http://www.tbsdtv.com/download/document ... 16.tar.bz2
# sudo rm -rf /lib/modules/`uname -r`/kernel/drivers/media/
#tar jxvf media_build-2017-1016.tar.bz2
#cd media_build
#./install.sh
#reboot