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
└─>Staging drivers
└─>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/staging/imx-drm/imx-hdmi.c