Para arrancar con un kernel anterior tenemos que seleccionarlo en el menú avanzado de Grub, el cargador por defecto de Ubuntu. Para ello apagamos primero la computadora.
Pulsamos el botón de encendido y rápidamente pulsamos la tecla Esc. Si nos aparece el menú de BIOS seleccionamos continuar el arranque e immediatamente después volvemos a pulsar Esc, lo que nos llevará al menú de la figura 1. Aquí seleccionamos "Opciones avanzadas para Ubuntu"
A continuación seleccionamos el kernel del que queremos arrancar de entre la lista de los disponibles. En la figura 2 el último kernel es el 4.15 y para arrancar con el anterior seleccionaríamos el 4.13 y luego pulsando Enter.
Figura 1. Menu de selección de Grub | Figura 2. Lista de kernels disponibles para el arranque |