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