Você pode remover os kernels da mesma maneira que remove outros pacotes, desde que você não seja inicializado naquele kernel.
Para obter uma lista dos kernels que você instalou, use dpkg -l
com um grep como em:
dpkg -l | grep linux
Lá você verá a lista de pacotes que foram instalados.
Em seguida, use o comando remove
de apt-get
sudo apt-get remove linux-...<name as shown by dpkg -l>
Os cabeçalhos não precisam ser removidos, os linux-image-...
são os binários reais que precisam ser removidos.
Observe que apt-get
deve executar automaticamente os comandos necessários para atualizar grub
e o disco RAM de inicialização.
É claro que, se você usar apt-get update
+ apt-get upgrade
(ou a atualização automática que faz o mesmo), o novo kernel será reinstalado ...
Acho que você pode impedir a reinstalação, mas não sei o comando para isso.