Kort sagt: 1 sudo visa /boot/grub/grub.cfg och kopiera hela namnet på din gamla kärna. 2 sudo vi/etc/default/grub och, överst, ändra GRUB_DEFAULT = 0 för att istället läsa GRUB_DEFAULT = your_kernel_name_from_grub.cfg, och spara ändringen (du kanske vill behålla en kopia av originalfilen för säkerhets skull). 3 sudo update-grub.