generic-ipi: fix s390 build bug