kernel-remover does not see existing kernel, how to delete this kernel?

[michaa7]

All said in the subject, but again:

I still have an old 3.9-2 kernel installed alltough I invoked kernel-remover several times over the last months. kernel-remover does not see this kernel when invoked manually, grub does. I can boot this kernel (not to X, though).

I want to delete it. How?

[towo]

apt-get purge foo?

[michaa7]

that ... was too easy. Thanks!