Symbol: IXP425_UART0_HWBASE