CONFIG_CEC_PIN (not configurable)

configname: CONFIG_CEC_PIN

Linux Kernel Configuration
└─>Device Drivers
└─>CEC_PIN
In linux kernel since version 4.2 (release Date: 2015-08-30)  
is depended by
CONFIG_DRM_SUN4I_HDMI_CEC