ADV7511/33 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 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.