[PATCH 0/5] Replace drm_detect_hdmi_monitor() with drm_display_info.is_hdmi