A melhor maneira de verificar se há kernels antigos não utilizados é usar
dpkg -l linux-image* | grep ii | awk '{print $2}' | grep -v $(uname -r)
Isto irá mostrar cada versão do kernel, exceto aquela que você já instalou:
dpkg -l linux-image* | grep ii | awk '{print $2}' | grep -v $(uname -r)
linux-image-3.8.0-30-generic
linux-image-extra-3.8.0-30-generic
linux-image-generic
No meu caso, linux-image-generic
não deve ser removido, pois é um metapacote que permite que meus kernels sejam atualizados sem minha intervenção sempre que eles estiverem disponíveis. Portanto, os dois únicos pacotes que devo remover são linux-image-3.8.0-30-generic
e linux-image-extra-3.8.0-30-generic
.