kernel - Fix MP race in sysv semaphore code