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