[PATCH 10/25] tty: serial: lpc32xx_hs: don't call tty_flip_buffer_push() twice