Calxeda Highbank-based

modulename: highbank-cpufreq.ko

configname: CONFIG_ARM_HIGHBANK_CPUFREQ

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

If in doubt, say N.

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