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