[PATCH 19/25] drm/edid: add drm_edid helper for drm_detect_hdmi_monitor()