[Crash-utility] [PATCH 4/7] Allocate the Xen domain vcpu array dynamically