Minor fix in driver/xen.c

Minor issue in dump_vcpureg_hvm_snapshot.