To whom it is concerned:

There is a typo in the ARM IXDP425 setup definition that mistakenly 
tries to use UART1's IRQ for UART2's traffic.  The patch is attached.

-Jeff Hansen
Card Access, Inc.