original_kernel/arch/ia64/kernel/cpufreq
..
Kconfig
Makefile
acpi-cpufreq.c