Add optimized ARM RWSEM algorithm. From MikeC84.