xen_alloc_ptpage: cast PFN_PHYS() argument to unsigned long