Re: [PATCH 1/8] ARM: EXYNOS: use generic cpu idle function for wfi