[PATCH v4 42/78] drm/vc4: hdmi: Rename hdmi to vc4_hdmi