[PATCH 5.4 02/68] x86/xen: Make the boot CPU idle task reliable