futex: Document ordering guarantees