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