Re: [PATCH v2 09/15] drm/vc4: hdmi: Split the interrupt handlers