# CONFIG_SERIAL_8250_PCI is not set
