Re: [PATCH v4 01/11] tty: 8250: Fix IS-200 PCI ID comment