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