-
uname -r
- determine qual kernel você está usando no momento. -
dpkg --list | grep linux-image
- para listar todos os kernels -
apt-get purge linux-image-3.13.0-36-generic
- apaga o antigo kernel não usado (apenas por exemplo) -
sudo update-grub
- Agora atualize o grub para saber que você não tem alguns dos kernels
Espero que isso ajude!