Eu tive o mesmo problema. Eu poderia consertá-lo com uma modificação do arquivo /etc/default/grub
. Eu adicionei um parâmetro à linha GRUB_CMDLINE_LINUX_DEFAULT
. Agora parece que
GRUB_CMDLINE_LINUX_DEFAULT="quiet splash acpi_rev_override=1"
Não se esqueça de update-grub
depois de alterar este arquivo