[Ubuntu-BR] GRUB?

[Tostig]

Pessoal,

Quando executo "sudo update-grub" eu obtenho o seguinte resultado:

~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
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.31-16-generic
Found kernel: /boot/vmlinuz-2.6.31-15-generic
Found kernel: /boot/vmlinuz-2.6.31-14-generic
Found kernel: /boot/vmlinuz-2.6.28-14-generic
Found kernel: /boot/memtest86+.bin
Updating /boot/grub/menu.lst ... done
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

No entanto ao dar boot na máquina a versão mais nova de kernel que vejo
listada na tela é 2.6.31-14-generic. O computador não deveria estar
bootando com 2.6.31-16-generic ou ao menos dar esta opção na lista?

Obrigado desde já por qualquer ajuda.