A correção fornecida neste link resolveu meu problema:
-
Você só precisa editar o arquivo
/etc/default/grub
:gksu gedit /etc/default/grub
-
Procure a linha onde está escrito:
GRUB_CMDLINE_LINUX_DEFAULT="quiet splash"
e altere para:
GRUB_CMDLINE_LINUX_DEFAULT="quiet splash acpi_sleep=nonvs"
-
Salve o arquivo e feche o gedit.
-
Atualize o menu GRUB:
sudo update-grub
-
Reinicie e divirta-se!