Você pode remover o kernel não funcional com o apt-get:
sudo apt-get purge linux-image-3.8.0-33-generic
Como parte do processo de desinstalação, o sistema remove a entrada 3.8.0-33
do menu GRUB e deixa apenas 3.8.0-29
.
Por favor, note que também o pacote linux-image-generic-lts-raring
será removido. Isso significa que sua versão do kernel não será atualizada no futuro com apt-get upgrade
. Somente quando você reinstalar linux-image-generic-lts-raring
, a versão do kernel será atualizada. Então esta é uma solução permanente.