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