Samsung mach/soc changes for v4.17, part two

1. Fix coupled CPU idle freeze on Exynos4210.
2. Simplify hot-path in coupled CPU idle.