Re: [PATCH 05/21] cpuidle: make __cpuidle_driver_init() return void