Re: [PATCH v4 0/9] drm/vc4: Turn the TXP into a CRTC