gerrit.devboardsforandroid.linaro.org / platform / external / u-boot / be972b2bd1c75f9e56ff5c7d2c4075a1389dde65 / include / configs / sei510.h