# CONFIG_SERIAL_SC16IS7XX is not set