Update linux-kernel.mk