Added BCM2835 mini UART device. Added Raspberry Pi platform.