Is there a reason we have both opal/include/opal_portable_platform.h and
ompi/include/mpi_portable_platform.h? If they're always supposed to have
the same content (which appears to be the case), then it seems like
building mpi_portable_platform.h from opal_portable_platform.h at build
time is a more appropriate path forward. I'll do the work, but wanted
someone else to verify that I wasn't missing something.