[HowTo] Il kernel c'è... e ora si vede!

In conseguenza di questo bug la configurazione di grub, non viene aggiornata quando si intallano i nuovi kernel (almeno a me è capitato così) quindi, dopo qualche peripezia, ho trovato la soluzione.
Apriamo la nostra fidata shell e, dopo aver creato una copia di backup del file grub.cfg digitando "sudo cp /boot/grub.cfg /boot/grub/grub.cfg.bkp", andiamo a impartire il comando "sudo grub-mkconfig -o /boot/grub/grub.cfg" che ricreerà il file di configurazione aggiornato.

Nota: probabilmente questo dovrà essere fatto ogni volta che si installerà un nuovo kernel; dico "probabilmente" perchè non mi è ancora capitato di installare un nuovo kernel...

Link utili:

• Post correlato: [HowTo] Bug nel boot ubuntu con Wubi
• Sito ufficiale grub
• Wikipedia: grub