Pues reconozco que es una tontería pero siempre se me olvida cómo hacerlo. A ver, si sólo hay que hacer:
$sudo vim /etc/default/grub
Para editar el archivo de configuración. En él cambiamos la linea
GRUB_DEFAULT=0
Poniendo el número de la entrada que deseemos que sea la entrada por defecto. De paso podemos ajustar el tiempo de espera antes de arrancar cambiándolo en la linea
GRUB_TIMEOUT=5
Salvamos el fichero y ejecutamos:
$sudo grub-mkconfig (ó update-grub)
Y ya está. A ver si ahora no se me olvida …