ADV7511/33/35 HDMI CEC driver

configname: CONFIG_DRM_I2C_ADV7511_CEC

Linux Kernel Configuration
└─>Device Drivers
└─>Graphics support
└─>Direct Rendering Manager (XFree86 4.1.0 and higher DRI support)
└─>Display Interface Bridges
└─>ADV7511/33/35 HDMI CEC driver
In linux kernel since version 3.10 (release Date: 2013-06-30)  
When selected the HDMI transmitter will support the CEC feature.