I wonder if this is to do with a faulty BIOS frequency limit. To check this out can you try the following:
Edit /etc/default/grub (you need to do this using root privilege) and change
GRUB_CMDLINE_LINUX_DEFAULT="quiet splash"
to
GRUB_CMDLINE_LINUX_DEFAULT="quiet splash processor.ignore_ppc=1"
and then run:
sudo update-grub
and reboot. Maybe this will work around the issue.
I wonder if this is to do with a faulty BIOS frequency limit. To check this out can you try the following:
Edit /etc/default/grub (you need to do this using root privilege) and change
GRUB_CMDLINE_ LINUX_DEFAULT= "quiet splash"
to
GRUB_CMDLINE_ LINUX_DEFAULT= "quiet splash processor. ignore_ ppc=1"
and then run:
sudo update-grub
and reboot. Maybe this will work around the issue.