ARCH_EXYNOS option is used for entire ARMv7 Exynos family, including
also Exynos3 SoCs.
Signed-off-by: Krzysztof Kozlowski <krzk@kernel.org>