Om oude kernels te verwijderen zou ik jullie willen aanraden om dat via Synaptic te doen, dan wordt echt alles verwijderd. Vroeger dacht ik dat /boot/.....2.*.**-**.img het enige bestand was, maar die kernel is overal in je systeem, ook op verschillende plaatsen in /usr.