Fix Pi 3 UART clock rate. Add HAL device for the GPU mailboxes.
Detail: s/Messaging - Ensure the PL011 UART module clock is set to 3MHz on startup, in order to allow the debug terminal to work hdr/StaticWS, s/Top - Add a basic HAL device to expose the GPU mailboxes Admin: Tested on Raspberry Pi 1B/2B/3B Fixes garbled debug terminal input/output on Pi 3 Version 0.52. Tagged as 'BCM2835-0_52'
Showing with 91 additions and 10 deletions