Symbol: serial_lpc32xx_request_port