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