# CONFIG_SERIAL_8250_MANY_PORTS is not set
