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