Old kernel files are not deleted

[taukakao]

When a new kernel is used, the old kernel is kept. Since the init partition might be very small (like in vanillaos), this will cause out of space errors very quickly.