Fix kernel toolchain path