Grub: Seleccionar del submenú un kernel por defecto

En las nuevas versiones de Ubuntu, para seleccionar de manera permanente una versión antigua del kernel agrupada en el submenú "Previous Linux versions", debemos hacer lo siguiente:

1.- Seleccionar del menú de entradas el kernel que deseamos configurar. Para listar las posibles entradas:

#> grep menuentry /boot/grub/grub.cfg


2.-Editar el archivo "/etc/default/grub" de la siguiente manera:

#> sudo nano /etc/default/grub


GRUB_DEFAULT="Previous Linux versions>Ubuntu, con Linux 3.0.0-15-generic"

Sustituyendo la parte en negrita por nuestra versión del kernel


3.- Actualizar grub

#> sudo update-grub

Podemos encontrar una información más completa en el siguiente enlace.