Re: [PATCH 15/18] drm/vc4: hdmi: Rework the infoframe prototype