[Crash-utility] xen_domctl_arch_setup struct differs from Xen's ?