Freescale i.MX DRM HDMI

modulename: dw_hdmi-imx.ko

configname: CONFIG_DRM_IMX_HDMI

Linux Kernel Configuration
└─>Device Drivers
└─>Graphics support
└─>Device Tree and Open Firmware support
└─>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: