Kernel.mk: change kernel toolchain path