[kbuild-all] Re: [PATCH] cpuidle: cpu hotplug support