Cómo borrar kernels viejos en un solo comando:

Fuente: Comentario de Luis en 120%linux
Para eliminar los Kernel Headers sin usar podemos hacerlo desde la consola con 1 sola linea:

dpkg -l ‘linux-*’ | sed ‘/^ii/!d;/’”$(uname -r | sed “s/\(.*\)-\([^0-9]\+\)/\1/”)”‘/d;s/^[^ ]* [^ ]* \([^ ]*\).*/\1/;/[0-9]/!d’ | xargs sudo apt-get -y purge

y solo te queda instalado la ultima version del kernel.