Update kernel.mk 2