> in fact when I restarted my laptop the problem returned.
> By reading the link https://wiki.debian.org/CpuFrequencyScaling more carefully
Note that this page is pretty old/outdated. AFAIK nowadays the better
option is to just throw away most of those tools and configs and just
use the default (unless your needs are unusual and you know what you're
doing).
Stefan