-
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!