xen: use phys_addr_t when referring to physical addresses