default or selected kernelversion does not have config value CONFIG_VIDEO_SECO_CEC.
Result is shown for kernelversion 6.9.8

SECO Boards HDMI CEC driver

modulename: seco-cec.ko

configname: CONFIG_VIDEO_SECO_CEC

Linux Kernel Configuration
└─>Device Drivers
└─>Multimedia support
└─>CEC platform devices
└─>PCI support
└─>SECO Boards HDMI CEC driver
In linux kernel since version 5 (release Date: 2019-03-03)  
This is a driver for SECO Boards integrated CEC interface.
Selecting it will enable support for this device.
CEC bus is present in the HDMI connector and enables communication
between compatible devices.

source code:
drivers/media/platform//seco-cec/seco-cec.c