Basta instalar o microcódigo da Intel com sudo apt-get install intel-microcode e reinicializar.
Se isso não ajudar, tente atualizar seu BIOS.
Já foi reportado para o launchpad como bug 1724650 .
Eu vi vários bugs e mensagens de erro quando estava procurando por acaso na ferramenta chamada "logs".
Sendo um novato no Ubuntu, não tenho idéia de como lidar com esses bugs, onde reportá-los ou como corrigi-los. Alguma ajuda para me orientar aqui?
O bug que tenho (que está listado como importante) diz:
[Firmware Bug]: TSC_DEADLINE disabled due to Errata; please update microcode to version: 0x52 (or later)
Basta instalar o microcódigo da Intel com sudo apt-get install intel-microcode e reinicializar.
Se isso não ajudar, tente atualizar seu BIOS.
Já foi reportado para o launchpad como bug 1724650 .