Re: [Crash-utility] [PATCH v2 0/3] xen: several fixes for newer Xen versions