En bref : 1 sudo visualisez /boot/grub/grub.cfg et copiez le nom complet de votre ancien noyau. 2 sudo vi /etc/default/grub et, en haut, modifiez GRUB_DEFAULT=0 pour lire à la place GRUB_DEFAULT=your_kernel_name_from_grub.cfg, et enregistrez la modification (vous pouvez conserver une copie du fichier d'origine pour plus de sécurité). 3 sudo update-grub.