Some changes to kernel.mk