Przydatne komendy listujace i usuwające stare kernele zalegające w systemie:
listowanie
dpkg -l linux-* | awk '/^ii/{ print $2 }' | grep -e [0-9]
deinstalacja
sudo apt-get remove --purge $(dpkg -l 'linux-image-*' | sed '/^ii/!d;/'"$(uname -r | sed "s/\(.*\)-\([^0-9]\+\)/\1/")"'/d;s/^[^ ]* [^ ]* \([^ ]*\).*/\1/;/[0-9]/!d')