Re: [PATCH v5 12/12] drm/vc4: hdmi: Set default state margin at reset