Je kunt de kernels ook opzoeken in synaptic, met als zoeknaam linux-image
Gewoon aanvinken voor complete verwijdering en klaar is het.
Wel een waarschuwing:
Bewaar minimaal één oudere kernel, waarvan je zeker weet dat deze goed werkt, normaal gesproken de voorlaatste.
Zo heb je in het geval van een bug altijd de mogelijkheid om één stap terug te gaan.
ps: Wanneer je kernels verwijderd via synaptic, wordt ook het Grubmenu (=opstart menu) aangepast.