In het kort: 1 sudo view /boot/grub/grub.cfg en kopieer de volledige naam van je oude kernel. 2 sudo vi /etc/default/grub en verander bovenaan GRUB_DEFAULT=0 om in plaats daarvan GRUB_DEFAULT=your_kernel_name_from_grub.cfg te lezen, en sla de wijziging op (u kunt voor de veiligheid een kopie van het originele bestand bewaren). 3 sudo update-grub.