gerrit.devboardsforandroid.linaro.org / platform / external / u-boot / 93ce1e9dad42e23e5938b601c36172e8baa1b675 / include / configs / arcangel4.h