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

Samsung EXYNOS4

modulename: clk-exynos4412-isp.ko

and/or

clk-exynos4.ko

and/or

dev-audio.ko

and/or

clock-exynos4.ko
configname: CONFIG_ARCH_EXYNOS4

ARM system type
└─> Samsung EXYNOS4

Samsung EXYNOS4 series based systems