[PATCH 1/2] drm: Move CONFIG_HDMI-dependent code to a separate file