[PATCH v4 48/78] drm/vc4: hdmi: Remove vc4_dev hdmi pointer