system/platforms/arm-rpi:  Cleanup

* Define peripherals addresses, IRQ numbers, and memory barriers in a
  centralized location (bcm2835.h).
* Improve various comments.
* Fix style inconsistencies.
* Move memory_barrier() to its own file because its use is not
  restricted to interrupt handling.