Symbol: BCM2835_AUX_UART_CNTL