Prebuilt toolchains used for kernel builds