Symbol: IXP425_UART1_HWBASE