Update notes for submitted changes

* futex: Validate atomic acquisition in futex_lock_pi_atomic()