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