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