s390: fix machine check handling