Update: Specify toolchain to use for Kernel