Update notes for submitted changes

* Optimized ARM RWSEM algorithm