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