arm/xen: Drop pte_mfn and mfn_pte