Symbol: IMX31LITEKIT_UART1_VBASE