fix linux-kernel.mk