arm: mmu_gather rework