Re-add basic locking to PermissiblePEX.

Not the most performant, but safer.