Über die Zeit sammeln sich mehrere Kernel-Release nach größeren Updates an.
Um alte Linux-Kerne zu entfernen im Terminal ausführen:
sudo dpkg -l | grep linux-image (Enter)
Das Ergebnis sieht z.B. so aus
ii linux-image-3.2.0-31-generic 3.2.0-31.50 Linux kernel image for version 3.2.0 on 64 bit x86 SMP
ii linux-image-3.2.0-32-generic 3.2.0-32.51 Linux kernel image for version 3.2.0 on 64 bit x86 SMP
ii linux-image-3.2.0-33-generic 3.2.0-33.52 Linux kernel image for version 3.2.0 on 64 bit x86 SMP
ii linux-image-generic 3.2.0.33.36
Es sollten die 2 neuesten Kerne bestehen bleiben. In diesem Beispiel kann der Kern 3.2.0-31 gelöscht werden (bitte die Versionsnummer ersetzen gegen die bei dir angezeigte):
sudo apt-get remove --purge linux-image-3.2.0-31-generic (Enter)
