[Crash-utility] [PATCH] Increase max VCPU count for Xen on x86_64