ARM: rpi_b: use bcm2835 mbox driver to get memory size
[oweals/u-boot.git] / board / raspberrypi /
drwxr-xr-x   ..
drwxr-xr-x - rpi_b