[kbuild-all] Re: [RFC PATCH 2/2] x86/xen: Make the secondary CPU idle tasks reliable