xen: arm: comment on why 64-bit xen_pfn_t is safe even on 32 bit