xen/arm/arm64: merge xen/mm32.c into xen/mm.c