Use toolchain for kernel