Danke für den Hinweis.
dmesg | paste hat eine Riesenliste generiert, den Kernel habe ich aber nicht gefunden. Der sollte aber relativ neu sein (Erstinstallation 02/2016).
Gerade läuft aber der Sendersuchlauf . Ich habe mittlerweile zwei Versionen der Treiberdatei im Netz gefunden; eine mit ca. 8 KB und eine mit ca. 64 KB. Nur mit der kleineren Treiberdatei geht's - auch mit dem alten TVHeadend.
Falls jemand die Treiber-Datei braucht....