When cross-compiling, MariaDB fails to detect the presence of the new
PCRE2 10.48 and falls back to trying to download it. Error snippet
below.

See also upstream bug https://jira.mariadb.org/browse/MDEV-41070 and
discussion in https://salsa.debian.org/mariadb-team/mariadb-server/-/merge_requests/174

This is a regression because cross-compilation used to work just fine,
see history at http://crossqa.debian.net/src/mariadb.

[ 87%] Performing download step (download, verify and extract) for 'pcre2'
cd /build/reproducible-path/mariadb-11.8.9+ds/builddir-native/extra/pcre2/src
&& /usr/bin/cmake -DCMAKE_MESSAGE_LOG_LEVEL=VERBOSE -P
/build/reproducible-path/mariadb-11.8.9+ds/builddir-native/extra/pcre2/src/pcre2-stamp/download-pcre2.cmake
-- Downloading...
   dst='/build/reproducible-path/mariadb-11.8.9+ds/builddir-native/extra/pcre2/src/pcre2-10.47.zip'
   timeout='none'
   inactivity timeout='none'
-- Using src='https://github.com/PCRE2Project/pcre2/releases/download/pcre2-10.47/pcre2-10.47.zip'
-- Retrying...
-- Using src='https://github.com/PCRE2Project/pcre2/releases/download/pcre2-10.47/pcre2-10.47.zip'
-- Retry after 5 seconds (attempt #2) ...
-- Using src='https://github.com/PCRE2Project/pcre2/releases/download/pcre2-10.47/pcre2-10.47.zip'
-- Retry after 5 seconds (attempt #3) ...
-- Using src='https://github.com/PCRE2Project/pcre2/releases/download/pcre2-10.47/pcre2-10.47.zip'
-- Retry after 15 seconds (attempt #4) ...
-- Using src='https://github.com/PCRE2Project/pcre2/releases/download/pcre2-10.47/pcre2-10.47.zip'
-- Retry after 60 seconds (attempt #5) ...
-- Using src='https://github.com/PCRE2Project/pcre2/releases/download/pcre2-10.47/pcre2-10.47.zip'
CMake Error at pcre2-stamp/download-pcre2.cmake:163 (message):
  Each download failed!

    error: downloading
'https://github.com/PCRE2Project/pcre2/releases/download/pcre2-10.47/pcre2-10.47.zip'
failed
          status_code: 6
          status_string: "Could not resolve hostname"
          log:
          --- LOG BEGIN ---
          Could not resolve host: github.com

  Could not resolve host: github.com

  Could not resolve: github.com:443

  closing connection #0