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