Danilordol Parece que o BigLinux está indicando que o pacote “base” requer opcionalmente o suporte ao kernel bare metal do Linux. Quanto ao problema de o kernel antigo persistir após a desinstalação, você pode tentar atualizar o GRUB para garantir que as mudanças sejam refletidas corretamente. Tente executar o comando:
sudo update-grub
Isso deve atualizar a configuração do GRUB para refletir as alterações nos kernels instalados. Após isso, reinicie o sistema e veja se o kernel antigo ainda está presente. Se o problema persistir, pode ser útil verificar se há erros durante o processo de desinstalação do kernel antigo.
Grato
Rafael Ruscher
