Re: [PATCH 0/3] drm/vc4: hdmi: Interrupt fixes