Draft: Update references for x86_64_v3 gcc12 to gcc13 differences

This has to be merged when we switch from x86_64_v3-centos7-gcc12-opt+g to x86_64_v3-el9-gcc13-opt+g.

/cc @sponce