v5.0.x: Update opal_portable_platform_real.h from upstream gasnet#12830

janjust merged 1 commit intoopen-mpi:v5.0.xopen-mpi/ompi:v5.0.xfrom

jsquyres:pr/v5.0.x/update-portable-platform.hjsquyres/ompi:pr/v5.0.x/update-portable-platform.hCopy head branch name to clipboard