Re: [PATCH 70/89] drm/vc4: hdmi: Remove vc4_dev hdmi pointer