Re: [Crash-utility] [PATCH] Account for the changed type of the domain.vcpu field in Xen4