arm/xen: implement correctly pfn_to_mfn