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

CEC platform devices

configname: CONFIG_CEC_PLATFORM_DRIVERS

Linux Kernel Configuration
└─>Device Drivers
└─>Multimedia support
└─>CEC platform devices
In linux kernel since version 3.10 (release Date: 2013-06-30)  

is selected by
CONFIG_CEC_GPIO