Optimized ARM RWSEM algorithm

This reverts commit 64a7d02e32177b041ff4eca99cda8a875817ccae.