Re: [PATCH V3 1/3] ARM: at91: cpuidle: convert to platform driver