default or selected kernelversion does not have config value CONFIG_ARM_BIG_LITTLE_CPUFREQ.
Result is shown for kernelversion 6.9.9
Generic ARM big LITTLE CPUfreq driver
modulename: arm_big_little.ko
configname: CONFIG_ARM_BIG_LITTLE_CPUFREQ
Linux Kernel Configuration
└─>Power management and ACPI options
└─>CPU Frequency scaling
└─>Generic ARM big LITTLE CPUfreq driver
In linux kernel since version 3.1 (release Date: 2011-10-24)
This enables the Generic CPUfreq driver for ARM big.LITTLE platforms.