Symbol: lpc32xx_serial_init