Re: (subset) [PATCH] drm/vc4: hdmi: Ensure we don't use 2711 HPD registers on Pi0-3