[PATCH] Fix memory ordering problem in wake_futex()