MiaoLee Tu peux effectuer les actions suivantes.
Pour lister ce qui est disponible
$ grubby --info=ALL | grep -E "^kernel"
Pour définir le kernel sur lequel tu souhaites démarrer
$ sudo grubby --set-default /boot/vmlinuz-<version_complète_kernel_désiré>
Enfin pour revenir en arrière et démarrer de manière automatique sur le dernier kernel installé
$ grubby --set-default-index=0
