Bien maintenant il te reste plus qu'à trouver la ligne grub default dans le fichier grub et à la modifier :
sudo gedit /etc/default/grub
et tu remplace la ligne par :
GRUB_DEFAULT="4"
et puis après tu regenères le grub avec la commande :
sudo grub2-mkconfig -o /boot/grub2/grub.cfg
Edit : tiens je ne l'ai pas ligne GRUB_SAVEDEFAULT=true
Tu peux la rajouter à ton fiuchier grub si tu veux.