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