Ter kernels extras ocupam espaço. Você pode procurar seus kernels antigos manualmente na pasta /usr/src
. No entanto, o seguinte comando pode remover os kernels linux de maneira rápida e fácil.
Em uma janela do Terminal, digite:
dpkg -l 'linux-*' | \
sed '/^ii/!d;/'"$(uname -r | sed "s/\(.*\)-\([^0-9]\+\)//")"'/d;s/^[^ ]* [^ ]* \([^ ]*\).*//;/[0-9]/!d' | \
xargs sudo apt-get purge
A linha acima só deve ser usada se você souber que o seu kernel atual está funcionando do jeito que você quer e quaisquer outros kernels que você não esteja preocupado. Isso removerá todos os kernels, exceto o ativo atual que está sendo executado em seu sistema. Ele removerá kernels ainda mais recentes se você for inicializado em um kernel antigo.