Existem várias soluções em torno do seu problema, aqui estão algumas delas que eu faria:
Primeiro de tudo, como você se viu, o antigo kernel ainda vive no seu sistema. você pode definir essa entrada em grub
como sua entrada padrão;
sudo nano /etc/default/grub
o valor de GRUB_DEFAULT
deve ser alterado para algo como "2>3"
, 2
: número do submenu (opções avançadas do Ubuntu), 3
: número antigo da entrada do kernel no submenu.
depois, execute:
sudo update-grub
A alternativa a essa solução é que, em vez de "x>y"
use saved
e depois de salvar o arquivo, execute:
sudo update-grub
sudo grub-set-default
A primeira vez que você selecionar o kernel antigo, ele será salvo; E da próxima vez é a seleção padrão (não tenho certeza se funciona para submenus).
Você também pode remover a versão em execução e executar update-grub
novamente ou até mesmo criar um menu personalizado e desativar outros.
No final, você pode usar apt-mark
para manter sua versão do kernel desejada.