Correct path for the kernel toolchain