CONFIG_DRM_DW_HDMI (not configurable)

modulename: dw-hdmi.ko

and/or

dw_hdmi.ko

configname: CONFIG_DRM_DW_HDMI

Linux Kernel Configuration
└─>Device Drivers
└─>Graphics support
└─>Direct Rendering Manager
└─>Direct Rendering Manager (XFree86 4.1.0 and higher DRI support)
└─>DRM_DW_HDMI
In linux kernel since version 3.10 (release Date: 2013-06-30)  
source code:
drivers/gpu/drm//bridge/dw_hdmi.c