Optimized ARM RWSEM algorithm- Thx CM