Adicionar acpi_rev_override
como um parâmetro de inicialização do kernel é uma solução alternativa para isso.
Você faz isso editando o arquivo de configuração do GRUB, por exemplo:
sudoedit /etc/default/grub
Encontre a linha que começa com GRUB_CMDLINE_LINUX_DEFAULT
e adicione acpi_rev_override
aos parâmetros entre aspas, para que você acabe com, por exemplo
GRUB_CMDLINE_LINUX_DEFAULT="quiet splash acpi_rev_override"
Salve o arquivo, saia e execute
sudo update-grub
O parâmetro será aplicado na próxima inicialização.