fix kernel.mk