s390x/tcg: use s390_program_interrupt() in SACF