RE: [PATCH v2 2/2] serial: 8250: Fix serial8250_tx_empty() race with DMA Tx