/recipes-core/hdmi-hotplug/