s390x: add function to deliver restart irqs