ARM: LPC32XX: Serial support code