Symbol: IXP425_UART0_OFFSET