Re: [PATCH 15/24] drm/vc4: Add TXP encoder type