Re: [PATCH 13/21] cpuidle: use drv instead of cpuidle_driver in show_current_driver()