BMIPS CPUfreq Driver

modulename: bmips-cpufreq.ko

configname: CONFIG_BMIPS_CPUFREQ

Linux Kernel Configuration
└─>Power management and ACPI options
└─>CPU Frequency scaling
└─>BMIPS CPUfreq Driver
In linux kernel since version 4.2 (release Date: 2015-08-30)  
This option adds a CPUfreq driver for BMIPS processors with
support for configurable CPU frequency.

For now, BMIPS5 chips are supported (such as the Broadcom 7425).

If in doubt, say N.

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