shmem_set_lock.openmpi(3) on Linux

The text 42f8b13fe1d6, as Debian 10 (Buster) shipped it.

Releases, locks, and tests a mutual exclusion memory lock.

shmem_set_lock.openmpi(3) on Linux now