s390/chsc: fix SEI usage