[Bug 200482] CPU does not slow down when idle with xen kernel