Re: [Linaro-mm-sig] [PATCH] drm: sti: remove gpio for HDMI hot plug detection