Editar Grub Ubuntu

Para editar tu grub en Ubuntu tienes que andar modificando archivos de texto y demás cosas; y si quieres cambiarle fondo además tienes que hacer malabares con la imagen que deseas... un lío. Grub-Customizer te permite hacer eso de manera muy sencilla y gráfica. Para instalarlo

sudo add-apt-repository ppa:danielrichter2007/grub-customizer

sudo apt-get update

sudo apt-get install grub-customizer

Te permite no sólo elegir que kernels aparezcan al inicio, sino cambiar el orden, cambiar color de fondo, añadir imágenes, etc. Todo muy intuitivo.

Por cierto, ¿Qué es un Kernel PAE?. PAE significa Physical Address Extention, un Kernel de este tipo, es de 32 bits capaz de reconocer más de 3Gb de RAM. Conviene más que un kernel de 64 bits cuando la mayoría de tus aplicaciones son de 32.