Allwinner A10/A10s/A20/A31 HDMI Controller Support

modulename: sun4i-drm-hdmi.ko

configname: CONFIG_DRM_SUN4I_HDMI

Linux Kernel Configuration
└─>Device Drivers
└─>Graphics support
└─>Direct Rendering Manager (XFree86 4.1.0 and higher DRI support)
└─>Allwinner A10/A10s/A20/A31 HDMI Controller Support
In linux kernel since version 3.10 (release Date: 2013-06-30)  
Choose this option if you have an Allwinner A10/A10s/A20/A31
SoC with an HDMI controller.

source code:
drivers/gpu/drm//sun4i/
depends
CONFIG_DRM
CONFIG_DRM_SUN4I
CONFIG_HAS_IOMEM
CONFIG_ARM or CONFIG_COMPILE_TEST

is selected by
CONFIG_DRM_SUN4I_HDMI_CEC