Modifier le menu de démarrage GRUB

gksudo gedit /etc/default/grub
Puis faire la mise à jour du menu
gksudo gedit /etc/default/grub
Editer le fichier de Grub