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