drivers/cpufreq/raspberrypi-cpufreq.o