s390: more efficient smp barriers