Re: [PATCH] OMAPDSS: HDMI: hot plug detect fix