ipc/sem.c: update/correct memory barriers