[PATCH 12/19] s390: do not bypass BPENTER for interrupt system calls