Update notes for submitted changes

* futex: Validate atomic acquisition in futex_lock_pi_atomic()
Update notes for submitted changes

* futex: Always cleanup owner tid in unlock_pi
Update notes for submitted changes

* futex: Make lookup_pi_state more robust