apt pinning für den kernel

Wenn durch Ubuntu Security Updates Automatisch satt finden, kann es Probleme geben mit Proprietären Kernel Modulen wie Grafikkartentreibern. Am schönsten ist an dieser Stelle ein DKMS Modul, aber da so was auf die schnelle nicht gezaubert werden konnte haben wir den Kernel einfach mit apt pinning festgesetzt.

Das ganze kann man auch wieder rückgängig machen.