Generic DT based cpufreq platdev driver

modulename: cpufreq-dt-platdev.ko

configname: CONFIG_CPUFREQ_DT_PLATDEV

Linux Kernel Configuration
└─>Power management and ACPI options
└─>CPU Frequency scaling
└─>Generic DT based cpufreq platdev driver
In linux kernel since version 3.10 (release Date: 2013-06-30)  
This adds a generic DT based cpufreq platdev driver for frequency
management. This creates a 'cpufreq-dt' platform device, on the
supported platforms.

If in doubt, say N.

source code: