[PATCH v3 08/25] xen/arm: Introduce xen_pfn_t for pfn and mfn types