Tente isto:
sudo gedit /etc/default/grub
Encontre a linha: LINUX_CMDLINE_DEFAULT
e adicione isso entre o "": quiet nosplash nohz=off
Então:
sudo update-grub
Faça tudo isso em uma janela de terminal, é claro, e depois reinicialize.