That’s almost certainly the problem. Play with the Linux CPU governor or (better) the package TDP (in the bios) instead.