Merge "Support HDMI hotplug." into jb-mr1-dev