Update kernel.mk