Ja, das hatte ich auch zuerst gedacht, und eigentlich /lib/modules/$(uname -r)/kernel/drivers/media gelöscht.
Nun habe ich nochmal alle neueren Dateien mit find gesucht und die neuen Module unter updates, wie von Dir vorgeschlagen installiert.
Code
# dmesg | grep frontend[ 12.322879] DVB: registering adapter 0 frontend 0 (Technotrend TT-budget S2-4100 DVB-S/S2)...
Deine diff Datei ist also eigentlich die Lösung für das Problem, falls noch jemand das Problem hat.
Vielen Dank für Deine Hilfe!