kernelconfig_penguin
CONFIG_ARCH_EXYNOS4 is not available for the default architecture x86.
Result is shown for architecture arm

Samsung Exynos4

configname: CONFIG_ARCH_EXYNOS4

Linux Kernel Configuration
└─> Samsung Exynos
└─> Samsung Exynos4

Samsung Exynos4 (Cortex-A9) SoC based systems