https://ixnfo.com/en/changing-the-processor-core-frequency-in-linux.html