[PULL] drm/hdmi: Changes for 3.9-rc1