event: always add a memory barrier before returning from event_waitTimeout()