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