[Crash-utility] [PATCH 5/7] Use the size of the Xen domain VCPU array if available