[PATCH v5 17/80] drm/vc4: crtc: Rename HDMI encoder type to HDMI0