[PATCH 1/2] x86/xen: Make the boot CPU idle task reliable