target-s390x: Pass S390CPU to s390_cpu_restart()