[PATCH v3 072/105] drm/vc4: hdmi: Rename hdmi to vc4_hdmi