Added optimized ARM RWSEM algorithm