bcm2835_aux: add emulation of BCM2835 AUX (aka UART1) block