Wer Ubuntu lieber mit einem anderen Kernel betreibt, kann den default Kernel auch über ein grafisches Menü konfigurieren.
sudo apt-get install startupmanager
Danach findet sich unter System > Administration > StartUp Manager
ein Manager zum Verwalten der Kernels und zur Konfiguration von Optionen.
