update kernel.mk