gerrit.devboardsforandroid.linaro.org / platform / external / u-boot / 7c60423106bebafedbdd9879d84d105b3fb03930 / configs / ts4800_defconfig