Delete kernel.mk