Kurz gesagt: 1 sudo view /boot/grub/grub.cfg und kopieren Sie den vollständigen Namen Ihres alten Kernels. 2 sudo vi /etc/default/grub und ändern Sie oben GRUB_DEFAULT=0, um stattdessen GRUB_DEFAULT=your_kernel_name_from_grub.cfg zu lesen, und speichern Sie die Änderung (möglicherweise möchten Sie zur Sicherheit eine Kopie der Originaldatei behalten). 3 sudo update-grub.