# CONFIG_SERIAL_8250_MID is not set