Re: [PATCH] Exynos4: cpuidle: support dual CPUs with AFTR state