[PATCH v4 44/78] drm/vc4: hdmi: Use local vc4_hdmi directly