mutex: have non-spinning mutexes on s390 by default