Crie um script de shell com este conteúdo:
#!/bin/sh
dpkg -l linux-* | \
awk '/^ii/{ print }' | \
grep -v -e 'uname -r | cut -f1,2 -d"-"' | \
grep -e '[0-9]' | xargs sudo apt-get -y purge
Este script removerá kernels, cabeçalhos e fontes antigos.