[PATCH v5 48/80] drm/vc4: hdmi: Remove vc4_dev hdmi pointer