[PATCH] drm: sti: remove gpio for HDMI hot plug detection