Kernel makefiles updated.