Re: [PATCH 1/3] drm/omap: Support for HDMI hot plug detection