it's still working after 24 hours-ish.
* ubuntu 16.04.5-lTS
* kernel 4.8.0-58-lowlatency
* driver built from source tbs-linux-drivers_v170330.zip
* tvheadend 4.3-1292~g9b9ee68~xenial
here's what I have installed
# dpkg -l | egrep "4.8.0|linux-"
ii linux-base 4.5ubuntu1~16.04.1 all Linux image base package
ii linux-firmware 1.157.20 all Firmware for Linux kernel drivers
ii linux-headers-4.8.0-58 4.8.0-58.63~16.04.1 all Header files related to Linux kernel version 4.8.0
ii linux-headers-4.8.0-58-lowlatency 4.8.0-58.63~16.04.1 amd64 Linux kernel headers for version 4.8.0 on 64 bit x86 SMP
ii linux-hwe-tools-4.8.0-58 4.8.0-58.63~16.04.1 amd64 Linux kernel version specific tools for version 4.8.0-58
ii linux-image-4.8.0-58-lowlatency 4.8.0-58.63~16.04.1 amd64 Linux kernel image for version 4.8.0 on 64 bit x86 SMP
ii linux-libc-dev:amd64 4.4.0-134.160 amd64 Linux Kernel Headers for development
ii linux-signed-image-4.8.0-58-lowlatency 4.8.0-58.63~16.04.1 amd64 Signed kernel image lowlatency
ii linux-tools-4.8.0-58-lowlatency 4.8.0-58.63~16.04.1 amd64 Linux kernel version specific tools for version 4.8.0-58
ii linux-tools-common 4.4.0-134.160 all Linux kernel version specific tools for version 4.4.0