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