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