Comment # 23 on bug 1203748 from Takashi Iwai

(In reply to Stefan Dirsch from comment #22)
> Thanks for looking into this. I definitely wrote
> 
>   dyndbg="file drivers/cpufreq/* +pf"
> 
> in grub during boot. Unfortunately this results in 
> 
> # cat /proc/cmdline 
> BOOT_IMAGE=/vmlinuz-6.0.0-lp153.3.g1195759-default
> root=/dev/mapper/system-root resume=/dev/system/swap splash=silent quiet
> showopts intel_idle.max_cstate=0 "dyndbg=file drivers/cpufreq/* +pf"
> 
> So the following results might be completely useless. :-(

This should be fine, it's just how the kernel handles.  Check the dmesg output
-- now you must have more lines about cpufreq there.