BoardConfig: use Linaro Toolchain for kernel