A solução abaixo mencionada é específica do Ubuntu.
-
Verifique o kernel atualmente em uso:
uname -r
-
Listar todas as imagens e cabeçalhos do kernel instalados:
dpkg --list | grep linux-image dpkg --list | grep linux-headers
-
Remova a imagem e os cabeçalhos do kernel que você deseja remover:
sudo apt-get purge linux-image-3.19.0-15 sudo apt-get purge linux-headers-3.19.0-15
Os comandos acima removerão a imagem do kernel e seus módulos de kernel e de cabeçalho associados.
-
Depois de remover o kernel não utilizado, atualize a configuração do GRUB.
sudo update-grub2
-
Agora reinicie e verifique se o menu GRUB está limpo ou não.