Eu acho que meu sistema está hospedado em uma versão mais antiga do kernel. Parece atualizar quando executo o dist-upgrade, mas a versão atual do kernel não muda. É possível que o sistema esteja configurado para instalar novas atualizações do kernel, mas apenas carregar uma versão mais antiga na inicialização?
$ uname -a
Linux HTPC 3.2.0-32-generic #51-Ubuntu SMP Wed Sep 26 21:32:50 UTC 2012 i686 athlon i386 GNU/Linux
$ dpkg --list | grep linux-image
ii linux-image-3.2.0-32-generic 3.2.0-32.51 Linux kernel image for version 3.2.0 on 32 bit x86 SMP
ii linux-image-3.2.0-32-generic-pae 3.2.0-32.51 Linux kernel image for version 3.2.0 on 32 bit x86 SMP
ii linux-image-3.2.0-32-virtual 3.2.0-32.51 Linux kernel image for version 3.2.0 on 32 bit x86 Virtual Guests
dpkg -l 'linux-*' | sed '/^ii/!d;/'"$(uname -r | sed "s/\(.*\)-\([^0-9]\+\)//")"'/d;s/^[^ ]* [^ ]* \([^ ]*\).*//;/[0-9]/!d'
linux-headers-3.2.0-36
linux-headers-3.2.0-36-generic-pae
linux-headers-3.2.0-37
linux-headers-3.2.0-37-generic-pae
linux-headers-3.2.0-38
linux-headers-3.2.0-38-generic-pae
linux-headers-3.2.0-39
linux-headers-3.2.0-39-generic-pae
linux-headers-3.2.0-40
linux-headers-3.2.0-40-generic-pae
linux-headers-3.2.0-41
linux-headers-3.2.0-41-generic-pae
linux-headers-3.2.0-43
linux-headers-3.2.0-43-generic-pae
linux-headers-3.2.0-44
linux-headers-3.2.0-44-generic-pae
linux-headers-3.2.0-45
linux-headers-3.2.0-45-generic-pae
linux-headers-3.2.0-48
linux-headers-3.2.0-48-generic-pae
Atualização 01/07/13 11:43
$ sudo update-grub
Generating grub.cfg ...
Found linux image: /boot/vmlinuz-3.2.0-32-generic
Found initrd image: /boot/initrd.img-3.2.0-32-generic
Found memtest86+ image: /memtest86+.bin
done
Tente instalar os pacotes linux-generic, linux-image-generic e linux-headers-generic. Esses meta-pacotes dependem do kernel e dos cabeçalhos mais recentes. O kernel emitido mais recentemente deve iniciar por padrão, e você pode verificar as opções adicionais do menu GRUB para outros kernels realmente instalados.