Changes for kernel.mk