Re: [PATCH V2 1/2] ARM: at91: cpuidle: convert to platform driver