xen: fix 32-bit build resulting from mmu move