Ouvrir un terminal.
sudo su
Saisir le mot passe
mv /etc/grub.d/30_os-prober /etc/grub.d/07_os-prober
update-grub

Dans un terminal :
sudo gedit /etc/default/grub
Modifier la valeur de la variable GRUB_DEFAULT (début de fichier)
par le numéro de la ligne de menu de boot souhaitée (en démarrant de zéro)
update-grub

Dans un terminal :
sudo gedit /etc/default/grub
Modifier la valeur de la variable GRUB_TIMEOUT (début de fichier)
par le nombre de secondes souhaitées.
update-grub