xen: set up mmu_ops before trying to set any ptes