[PATCH v4 17/78] drm/vc4: crtc: Rename HDMI encoder type to HDMI0