s390: critical section cleanup vs. machine checks