In short: 1 sudo extract /boot/grub/grub.cfg and copy the full name of your old kernel. 2 sudo mire / etc / default / grub and change GRUB_DEFAULT = 0 to read GRUB_DEFAULT = your_kernel_name_from_grub.cfg instead and save the conversion (you can keep the source file report for security). about three sudo update-grub.