Updates to kernel.mk file