Vor dem Update des Kernels kam nach dem Befehl

dpkg -l | awk /^rc/

nichts (System war ja rel. neu aufgesetzt).
Und nach dem Update kam wieder keine Meldung zu einem alten Kernel.

Zitat von harlud

Und nach dem Update kam wieder keine Meldung zu einem alten Kernel.

Ja, hatte inzwischen den neuen Kernel installiert. Der alte Kernel wird aber offenbar nicht mehr angezeigt.