Como remover Kernel obsoletos no grub

[Rodrigo_Chile]

Veja se esse é o caso e proceda com cuidado:

[Tuto/Dica] Remover entradas UEFI obsoletas

Introdução     Recentemente percebi que, por ficar trocando de sistema operacional toda hora, o menu de boot da minha BIOS estava uma bagunça. Ao remover um sistema operacional, sua entrada UEFI continua ali. Então, depois de quebrar um pouco a cabeça, consegui finalmente limpá-las. Gostaria de compartilhar métodos de realizar este processo tanto no Windows quanto em alguma distro Linux (desculpe, não sei nada de BSD ) Windows     O método que usarei consiste em utilizar a ferramenta Hasl…