Re: [PATCH v2 08/23] xen/arm: Introduce xen_pfn_t for pfn and mfn types