Update Makefile.mk and delete kernel.mk~