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