Add optimized ARM RWSEM algorithm by Ezekeel