# CONFIG_SERIAL_SC16IS7XX_CORE is not set
