Habe kurz über deinen Link drübergelesen, und aufgefalle ist mir dabei die Treiberinstallation für die DVB Karte.
Ich verwende eine ähnliche, und denke dass deine auch mit dem selben Treiber läuft. Diese sind seit Kernel version 3.19(?) integriert.
Debian hat seit linux-image-4.0.0-2-amd64 die Treiber per default enthalten.
Ich weiß nicht, obs von dem Kernel bereits Backports für Jessie gibt, jedoch ist ein backport auch sehr leicht selber zu erstellen:
Zitatvim /etc/apt/sources.list.d/unstable.list
Zitatdeb-src http://debian.inode.at/debian/ unstable main contrib non-free
Zitatapt-get update
apt-get build-dep linux-image-4.0.0-2-amd64
apt-get source -t unstable linux-image-4.0.0-2-amd64 -b
Vielleicht gefällt dir diese Lösung zur Treiber-Installation.
Damit baut man zwar einmal den ganzen Kernel, hat dafür aber alle Vorzüge des Debian Kernels, und alles sauber im Package Manager integriert.