[Crash-utility] [PATCH] Change the way of determining the Xen scheduler