Grub is not presenting kernel 3.2 as an option

view full story

http://askubuntu.com – I'm running Ubuntu 12.04. This morning after a long-overdue reboot for a long-pending kernel update, I discovered that I could no longer start up any VirtualBox machines; long story short, this lead me to discover that I am currently running kernel 3.0: root@vmsys:~# uname -r 3.0.0-19-generic This is odd, considering that I understand 12.04 runs on kernel 3.2, and I have a 3.2 kernel installed: root@vmsys:~# ls /boot/vmlinuz-3.2* /boot/vmlinuz-3.2.0-24-generic /boot/vmlinuz-3.2.0-25-generic root@vmsys:~# aptitude search linux-image-3.2.0-25-generic i linux-image-3.2.0-25-generic (HowTos)