use default toolchain for kernel