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