[PATCH 2/2] x86/xen: Make the secondary CPU idle tasks reliable