Updated the kernel toolchain