Samsung S3C64XX

modulename: s3c64xx-cpufreq.ko

configname: CONFIG_ARM_S3C64XX_CPUFREQ

Linux Kernel Configuration
└─>Power management and ACPI options
└─>CPU Frequency scaling
└─>Samsung S3C64XX
In linux kernel since version 3.1 (release Date: 2011-10-24)  
This adds the CPUFreq driver for Samsung S3C6410 SoC.

If in doubt, say N.

source code: