default or selected kernelversion does not have config value CONFIG_SERIAL_SC16IS7XX_CORE.
Result is shown for kernelversion 6.9.9

CONFIG_SERIAL_SC16IS7XX_CORE (not configurable)

modulename: sc16is7xx.ko

configname: CONFIG_SERIAL_SC16IS7XX_CORE

Linux Kernel Configuration
└─>Device Drivers
└─>Character devices
└─>Serial drivers
└─>SERIAL_SC16IS7XX_CORE
In linux kernel since version 3.10 (release Date: 2013-06-30)  
source code:
drivers/tty/serial/sc16is7xx.c