Update notes for submitted changes

* futex: Make lookup_pi_state more robust