Olá Arthur! Fiz todo esse procedimento, mas quando inicio o sistema só aparecem as mesmas opções dos Kernels (antigos) citados acima. Quando digito via terminal: sudo update-grub, conforme abaixo, aparece o kernel 3.8.0.30 como opção, mas quando digito: uname -a , continua a aparecer somente a versão antiga!
lopes@home:~$ sudo update-grub
[sudo] password for lopes:
Generating grub.cfg ...
Found background image: /usr/share/images/desktop-base/desktop-grub.png
Found linux image: /boot/vmlinuz-3.8.0-30-generic
Found initrd image: /boot/initrd.img-3.8.0-30-generic
Found linux image: /boot/vmlinuz-3.5.0-40-generic
Found initrd image: /boot/initrd.img-3.5.0-40-generic
Found memtest86+ image: /boot/memtest86+.bin
Found Windows 7 (loader) on /dev/sda1
Found elementary OS Luna (0.2) on /dev/sda5
done
lopes@home:~$
lopes@home:~$ uname -a
Linux home 3.5.0-40-generic #62~precise1-Ubuntu SMP Fri Aug 23 17:59:10 UTC 2013 i686 i686 i386 GNU/Linux
lopes@home:~$