Update notes for submitted changes

* mutex: back out architecture specific check for negative mutex count