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.