On Tue, Apr 9, 2013 at 8:41 AM, Nils Kassube <kassube at gmx.net> wrote: > : > > The older kernels are still available from the grub menu. They are > hidden in the submenu "Previous Linux versions". Select that option and > you will find all the installed kernels. > Aha. Thanks. I must not have noticed that in the 2 seconds it appears on my screen. :-)