fix kernel toolchain