gerrit.devboardsforandroid.linaro.org / platform / external / u-boot / b83dc8df6471f472340b88f1e3f3230e836b1fa9 / doc / board / broadcom / raspberrypi.rst