Re: [PATCH 1/2] cpuidle: add hotplug support to initialize the timer broadcast