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