Yeh, this is my bad.
Thank you for your quick support though.
I didn't much enough attention when installing debian, I took the latest and just assumed it should use a rather new kernel but I was wrong (Debian stretch is on kernel 4.9)
The drivers are not included in that kernel, but I also stated wrong kernel which includes the drivers it should be 4.14 not 4.17 (just for clarification)
So to use a kernel with support out of the box I must install Ubuntu 18.4, wich on the other hand does not have any official repo for tvheadend.
Compromises compromises... :-)