1 - Mettre le nouveau kernel linux super optimisé dans le dossier /boot
2 - Editer Le fichier de "pré-configuration" personnalisé pour Grub2
Et ajouter une entrée en s’inspirant de /boot/grub/grub.cfg (notamment pour les uuid) pour votre tout nouveau kernel
3 - Forcer Grub à utiliser le Super Kernel par défaut
repérer la ligne GRUB_DEFAULT="1"
, sinon l’ajouter.
Modifier par le nom du "menuentry" créé précédemment.