Re: [PATCH 2/2] drm/vc4: Use drm_hdmi_avi_infoframe_bars()