HDMI

configname: CONFIG_DRM_EXYNOS_HDMI

Linux Kernel Configuration
└─>Device Drivers
└─>Graphics support
└─>HDMI
In linux kernel since version 3.1 (release Date: 2011-10-24)  
Choose this option if you want to use Exynos HDMI for DRM.

selects
CONFIG_CEC_CORE