Установлено новое ядро ​​на Ubuntu 12.04. Как мне это начать?

Я установил linux-image-3.12.24-031224-generic в Ubuntu 12.04, но не могу найти способ его запустить. uname -r по-прежнему говорит 3.2.0-80-generic.

 $ dpkg -l | grep linux-image
ii  linux-image-3.12.24-031224-generic     3.12.24-031224.201407041335                         Linux kernel image for version 3.12.24 on 64 bit x86 SMP
ii  linux-image-3.2.0-23-generic           3.2.0-23.36                                         Linux kernel image for version 3.2.0 on 64 bit x86 SMP
ii  linux-image-3.2.0-80-generic           3.2.0-80.116                                        Linux kernel image for version 3.2.0 on 64 bit x86 SMP
ii  linux-image-generic                    3.2.0.80.94                                         Generic Linux kernel image

Когда я выбираю расширенные опции для 12.04 в GRUB во время запуска, он перечисляет только ядра 3.2.

Я пропускаю шаг?

@EricClemons ls / boot до и после sudo update-grub:

$ ls /boot
abi-3.12.24-031224-generic         initrd.img-3.2.0-80-generic
abi-3.2.0-23-generic               memtest86+.bin
abi-3.2.0-80-generic               memtest86+_multiboot.bin
config-3.12.24-031224-generic      System.map-3.12.24-031224-generic
config-3.2.0-23-generic            System.map-3.2.0-23-generic
config-3.2.0-80-generic            System.map-3.2.0-80-generic
grub                               vmlinuz-3.12.24-031224-generic
initrd.img-3.12.24-031224-generic  vmlinuz-3.2.0-23-generic
initrd.img-3.2.0-23-generic        vmlinuz-3.2.0-80-generic

3.12.24 все еще не появляется, хотя.