Kernel extras no Mint. Como tirar?

Gente, estou com um probleminha. Atualizei meu Mint pra um dos últimos kernels, só que quando o novo kernel foi instalado, na inicialização, aparece a opção de iniciar no Mint usando o kernel antigo e o novo, ou seja, ficam os dois ao mesmo tempo. Tem como deletar o kernel antigo e deixar só o novo?

Tem sim!

Abra o Gerenciador de Atualizações >> ver >> kernels

Selecione o kernel antigo e remova.
--------------------------------------------------------------------
#voltalisteiro

Primeiro utilize somente o kernel novo.

Depois desinstale o kernel velho. Isso é mais prático usando o synaptic.
sudo apt-get install synaptic
sudo synaptic
um comando de cada vez.

O synpatic é gráfico e basta digitar na busca o número do kernel antigo, por exemplo
4.4.0-96

Ele vai mostrar o kernel e todos os outros pacotes associados a esse kernel porque eles tem sempre o mesmo número.
marque todos eles com o botão direito do mouse e selecione remover. (Um a um)
Depois clique em aplicar.
Finda a operação reinicia e máquina.

Depois abra um terminal e digite

sudo update-grub

No próximo boot o kernel velho removido não vai aparecer mais.

Por padrão, o apt mantém os dois últimos kernels além do atual, como fallback. Você teria que remover os pacotes na mão e atualizar o GRUB para resolver isso.
--
Dino®
Vi veri universum vivus vici
Public GPG signature: 0x246A590B
Só Slackware é GNU/Linux e Patrick Volkerding é o seu Profeta

Mensagem do dia: Satã representa conhecimento sem limites e não auto-ilusão hipócrita. 

UKUU instala e remove kernel do Ubuntu e LinuxMint facilmente
https://pplware.sapo.pt/informacao/ukuu-a-ferramenta-que-ajuda-a-instalar-um-novo-kernel/

Que nomezinho pra ferramenta...
--
Dino®
Vi veri universum vivus vici
Public GPG signature: 0x246A590B
Só Slackware é GNU/Linux e Patrick Volkerding é o seu Profeta

Mensagem do dia: Satã representa conhecimento sem limites e não auto-ilusão hipócrita. 

Obs:
- Ukuu instala kernels "mainline" ou do PPA "mainline"
- são kernels destinados para fins de teste
- Você os instala sob seu próprio risco.

Ver:
http://www.omgubuntu.co.uk/2017/02/ukuu-easy-way-to-install-mainline-kernel-ubuntu
para mais informações.

UKUU instalando e desinstalando kernel sem bugs no meu LinuxMint 18 que momento está com kernel 4.15

Pergunta interessante. Favoritei!

Nunca me preocupei com isto quando fazia uso do Mint. É motivo de preocupação?

Só para lembrar: No Manjaro, há uma configuração que possibilita instalar o kernel que você quiser e deletar o antigo! E tudo isto via interface gráfica, não há a necessidade de terminal. Nesse caso o Manjaro é mais user-friendly que o Mint.

Parece que ninguem viu sua resposta.
Então, coloco uma figura nela.
https://i.imgur.com/sKJ4eNX.png

Até surgir essa praga do Meltdown e Spectre eu nunca havia me preocupado com atualização de kernel no LinuxMint

Nem eu. O lado bom é que perdi o medo como tambem acho uma informação aqui, outra ali e a gente vai levando.