# CONFIG_SERIAL_8250 is not set