Und, gibts schon eine Lösung? Gleiches Problem habe ich auch. Habe noch den 16er Kernel laufen, update-grub bringt zwar
sudo update-grub [sudo] password for raschid: Searching for GRUB installation directory ... found: /boot/grub Searching for default file ... found: /boot/grub/default Testing for an existing GRUB menu.lst file ... found: /boot/grub/menu.lst Searching for splash image ... none found, skipping ... Found kernel: /boot/vmlinuz-2.6.24-18-generic Found kernel: /boot/vmlinuz-2.6.24-17-generic Found kernel: /boot/vmlinuz-2.6.24-16-generic Found kernel: /boot/memtest86+.bin Updating /boot/grub/menu.lst ... done
jedoch hat sich in der menu.lst absolut nichts geändert.
edit//
Habe jetzt in der menu.lst die 16 gegen die 18 manuell getauscht. Nun bootet der neue Kernel ☺