Rockchip specific extensions for Innosilicon HDMI

configname: CONFIG_ROCKCHIP_INNO_HDMI

Linux Kernel Configuration
└─>Device Drivers
└─>Graphics support
└─>Direct Rendering Manager (XFree86 4.1.0 and higher DRI support)
└─>Rockchip specific extensions for Innosilicon HDMI
In linux kernel since version 3.10 (release Date: 2013-06-30)  
This selects support for Rockchip SoC specific extensions
for the Innosilicon HDMI driver. If you want to enable
HDMI on RK3036 based SoC, you should select this option.