# CONFIG_SERIAL_8250_DEPRECATED_OPTIONS is not set