936ebc
Add CONFIG_CPUFREQ_DT=m This is needed for raspberrypi-cpufreq to work (i.e. when booting a raspberry pi 4 without tianocore)