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