[S390] mutex: enable spinning mutex on s390