s390: mmu_gather rework