Added optimized ARM RWSEM algorithm. 1