xen: use uint64_t instead of target_ulong in cpu_ioreq_move