Update notes for submitted changes

* futex: Make lookup_pi_state more robust
* futex: Always cleanup owner tid in unlock_pi