Meltdown Kernel-Update lässt DVBSky-Firmware nicht mehr kompilieren (erledigt)

  • Bin hier unter Debian Jessie mit einer DVBSky S952.

    Eben kam das Kernel-Update auf 3.16.51-3+deb8u1 via apt.

    Nun wollte ich nach einem Reboot die DVBSky-Firmware (media_build-bst-14-141106.tar.gz) neu kompilieren und es bricht ab:

    Hat jemand eine Idee zur Ursache?

    Fehlen evtl. die Kernelheader für 3.16.51?

    Komischerweise sind die scheinbar auch weder unter /lib/modules vorhanden noch im Repository:

    Edit: Kommando zurück, ein make distclean && ./v4l/build_x86.sh && make --jobs=4 all && make install löste das Problem.