[PATCH 00/15] replace drm_detect_hdmi_monitor() with drm_display_info.is_hdmi