correct kernel toolchain path