gerrit.devboardsforandroid.linaro.org / platform / external / u-boot / 3f9f8a5b83f8aec40c9f4ee496046a695e333c45 / board / gdsys / 405ex / 405ex.h