[PATCHv2 9/9] omapdrm: omapdss_hdmi_ops: add lost_hotplug op