I fixed it! Gestern schon. Ich habe herausgefunden, dass ich durch Aufrufen des Linux Grub Menüs beim booten, mit einer älteren Version des Kernels starten kann. Da ich glaubte, mein System mit dem in Dublin nicht abgeschlossenen Kernel-Updates zerlegt zu haben, schien mir das einen Versuch wert. Und tadaa! Es ging alles wieder. Habe dann den Kernel nochmal ordentlich aktualisiert und jetzt läuft mein ThinkPad wieder wie geölt.

Ich lade gleich noch den nächsten Eintrag hoch.

Für Interessierte:

• Grub beim Booten aufrufen: https://askubuntu.com/questions/16042/how-to-get-to-the-grub-menu-at-boot-time
• Anderen Kernel auswählen: https://askubuntu.com/questions/82140/how-can-i-boot-with-an-older-kernel-version