CI: Overwrite valve infra's registry
This is a temporary workaround wihle we wait for valve-infra to sort out this issue.
It is safe to do because registry.freedesktop.org is a mirror of harbor.freedesktop.org.
Related: #7913 Signed-off-by: Benjamin Tissoires benjamin.tissoires@gmail.com