[PATCH v5 42/80] drm/vc4: hdmi: Rename hdmi to vc4_hdmi