Freescale i.MX DRM HDMI

modulename: imx-hdmi.ko

and/or

dw_hdmi-imx.ko

configname: CONFIG_DRM_IMX_HDMI

Linux Kernel Configuration
└─>Device Drivers
└─>Graphics support
└─>Direct Rendering Manager
└─>Freescale i.MX DRM HDMI
In linux kernel since version 3.10 (release Date: 2013-06-30)  
Choose this if you want to use HDMI on i.MX6.

source code:
drivers/gpu/drm//imx/imx-hdmi.c