gerrit.devboardsforandroid.linaro.org / platform / external / u-boot / 623d96e89aca64c2762150087f4e872c55481f13 / configs / ts4800_defconfig