Linux - [solucionado] Cambiar versión del kernel de Linux en el grub por defecto

En una de las actualizaciones del kernel de linux en Debian/testing, me he encontrado con que la versión del kernel, la 4.16 no arranca bien el entorno gráfico, por lo que he tenido que poner por defecto el anterior kernel 4.15.

Para ello, he revisado los kernels que hay definidos en el archivo /boot/grub/grub.cfg. En este archivo estan definidos todos los kernels que podemos seleccionar en el arranque.

Hay una linea que empieza por algo así:

De esta linea, nos interesa el valor que hay despues de la variable: $menuentry_id_option que en mi caso es: gnulinux-advanced-88a7a406-ada7-4a8a-bc28-764b74121a8a

Dentro de esta definición, se definen todos los kernels que podemos seleccionar en nuestro arranque, cada uno empieza por menuentry ..... En mi caso me interesa esta linea:

De esta linea, también voy a coger unicamente el valor que hay entre comillas simples despues de la variable: $menuentry_id_option, que para mi caso es: gnulinux-4.15.0-3-amd64-advanced-88a7a406-ada7-4a8a-bc28-764b74121a8a

Ahora, editamos el archivo /etc/default/grub modificando la linea:
por


El último paso es actualizar el grub con:


Espero que os sirva de ayuda...

Excellent information...! thanks to share.