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