default or selected kernelversion does not have config value CONFIG_VIDEO_SAMSUNG_S5P_CEC.
Result is shown for kernelversion 6.9.5

Samsung S5P CEC driver

modulename: s5p-cec.ko

configname: CONFIG_VIDEO_SAMSUNG_S5P_CEC

Linux Kernel Configuration
└─>Device Drivers
└─>Multimedia support
└─>CEC platform devices
└─>Samsung S5P CEC driver
In linux kernel since version 4.1 (release Date: 2015-06-21)  
This is a driver for Samsung S5P HDMI CEC interface. It uses the
generic CEC framework interface.
CEC bus is present in the HDMI connector and enables communication
between compatible devices.

source code: