gerrit.devboardsforandroid.linaro.org / platform / external / u-boot / e92754e20cca37dcd62e195499ade25186d5f5e5 / doc / board / microchip / index.rst