Cleaning kernel sources

There are three make targets for cleaning the kernel source tree: