ARM: rpi_b: use bcm2835 mbox driver to get memory size