Samsung EXYNOS4210

modulename: exynos4210-cpufreq.ko

configname: CONFIG_ARM_EXYNOS4210_CPUFREQ

Linux Kernel Configuration
└─>Samsung EXYNOS4210
In linux kernel since version 3.1 (release Date: 2011-10-24)  
This adds the CPUFreq driver for Samsung EXYNOS4210
SoC (S5PV310 or S5PC210).

If in doubt, say N.

source code:
drivers/cpufreq/exynos4210-cpufreq.c