Introducción
Parece ser que desde la introducción de la distribución Debian (8.x) el menu GRUB ha sufrido ciertos cambios que para mi punto de vista antes eran más cómodos. He estado buscando por distintas fuentes en Internet ver o encontrar como obtener la información de los Kernel a ejecutar.
La única información que han dado es que ahora ya no existe el «menu.lst» que era el archivo que miraba ya que te ponía el orden de arranque de los Kernel actuales.
He buscado para ver si existe un comando que te los saque en forma de listado y tampoco, como mucho había un paquete para gestionar el arranque a través del entorno gráfico. Por lo tanto tampoco nos valía.
Entornos donde lo he visto:
- Debian 8.x
- Ubuntu 14.04
Pero como hemos dicho antes son las distribuciones basadas en Debain 8.x (Generalmente con ver el fichero /etc/debian_version y ver jessie ya nos valdría)