bitte die ganze anleitung lesen - du musst auch Debian repositories konfigurieren!
ansonsten musst du das gasket module updaten oder entfernen, das scheint nicht kompatibel mit dem neuen kernel zu sein - das ist third party, ich weiss nicht obs eine neuere version gibt die kompatibel ist.