Comment # 22 on bug 1203748 from Stefan Dirsch

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. :-( Nevertheless I will
try my best.