Bei der Installation der letzten Ubuntu Updates kam folgende Meldung:
Nicht genug freier Festplattenspeicher verfügbar
Die Systemaktualisierung benötigt 72,5 M an freiem Speicherplatz auf der Festplatte “/boot”. Bitte stellen Sie mindestens x M an zusätzlichem Speicherplatz auf der Festplatte “/boot” zur Verfügung. [..]
Die Lösung war folgender Befehl aus dem Ubuntu-Forum der die alten Header aus /boot entfernt:
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