I have the reply from the very friendly and, so far IMO, very professional Digital Devices support...
The weird output of dmesg | grep dvb I posted:
[ 12.816283] dvb_core: loading out-of-tree module taints kernel.
[ 12.816378] dvb_core: module verification failed: signature and/or required key missing - tainting kernel
can be ignored, as it basically says that the driver is not deriving from the kernel and therefore it has not an "authenticated signature".
Additionally, the DD support informs me, that standby or hibernation under Linux is still quite "a pain in the ass". DD definitely recommends, before the PC enters standby or hibernation. to:
- stop tvheadend
- unload the tv tuner drivers
and after resume
- first load the drivers
- then start tvheadend
I will look for a script somewhere.
And regarding the kernel updates wiping the driver, yes, DD support confirmed this behaviour. As I now learned, DD does not provide any driver in DKMS packages who automatically build a new driver into the kernel once the kernel is updated. What I did not know before is that, contrarily to a windows "setup.exe", the "make install" command builds the drivers into the kernel which (of course) are wiped out once a new kernel is installed. Actually, I learned they are not wiped out, they are just chained into the previous kernel. I will now also have to look for a tutorial for how to build my dkms package with the latest DD driver. Alternatively, I could wait for kernel 4.14 as the support "revealed", the driver might be included in that ubuntu kernel onwards, but I would probably need to wait for ubuntu 18 lts ;)
By the way, coming back to the original title of the theme (even if by now the subject should be changed to "TV Tuner and drivers gone after restart or resume" I can post myself a reply, yes, with the terminal command:
sudo apt-key adv --keyserver hkp://keyserver.ubuntu.com:80 --recv-keys 379CE192D401AB61
echo "deb https://dl.bintray.com/tvheadend/deb xenial stable-4.2" | sudo tee -a /etc/apt/sources.list
I also achieved that tvheadend updated automatically, as the last update upgraded my tvheadend to version 4.24.
Cheers