Danke für die Hilfe.
Interessanterweise hat es ca. 2 Stunden später einfach so wieder funktioniert, ohne das ich was gemacht hab...klar, die Datei ersetzen ist ne Möglichkeit und Neuinstallation auch - aber die radikale Variante will ich eigentlich nur im Notfall benutzen
Gibts da generelle Punkte, die man bei der Kernel-Fehlermeldung überprüfen kann?