Use extra toolchain for Kernel