Unwanted Ubuntu crud (2)

This time, removing unneeded kernels and kernel headers. A rebooting of the box after this is mandatory, and ballsy to the max :p