gerrit.devboardsforandroid.linaro.org / platform / external / u-boot / e40ac4870c6e72302044e98338322f45c34435bd / include / configs / devkit8000.h