fix the unlock/signal case

When the helper releases the mutex before doing a signal, top_waiter
is effectively woken up. PI mechanism must account for this case.