[PATCH-WIP 11/13] xen/arm: Introduce xen_pfn_t for pfn and mfn types