Re: [PATCH] drm/vc4: hdmi: Rely on interrupts to handle hotplug