Option to remove old kernels

[filippo_carletti]

I checked all my servers and I found only one that has 10 kernels installed.
Now I have to discover what differences it has from the rest.