I have a lenovo Y520-15IKBN laptop, with an I7700-HQ cpu, with a base clock of 2.80 Ghz up to 3.80 Ghz in turbo boost mode, I use archlinux, but changing the distro the situation does not change. The CPU never reaches the maximum clock, at maximum 3.6 Ghz, not even in single core, (tested with...