Tudo bem resolvido isso sozinho.
- Abra o arquivo
/etc/default/grub
. - Encontre uma linha
GRUB_CMDLINE_LINUX=""
(pode haver algo entre as aspas). - Adicione
acpi_osi=Linux
entre as aspas, então o resultado pode ser algo comoGRUB_CMDLINE_LINUX="acpi_osi=Linux"
- Executar
sudo update-grub