s390: add SMT support