[PATCH 65/89] drm/vc4: hdmi: Rename hdmi to vc4_hdmi