gerrit.devboardsforandroid.linaro.org / platform / external / u-boot / 3507cf7f4a7ad09b017a3890a4a71322238d693f / configs / ts4800_defconfig