Re: [PATCH] ARM: Samsung: Basic CPUIDLE Support