Move the bcm2835 mailbox driver earlier in the boot
This will be needed before the firmware driver is loaded