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!