OP resolveu seu próprio problema (editado fora da questão):
Eu adicionei os parâmetros de inicialização do kernel
acpi_osi=! acpi_osi='Windows 2009'
e o problema desapareceu magicamente
Isso é feito editando o arquivo de configuração do GRUB:
sudo nano /etc/default/grub
encontre a linha que começa
GRUB_CMDLINE_LINUX_DEFAULT
e adicione os parâmetros que você precisa àqueles já entre as aspas, então você tem, por exemplo
GRUB_CMDLINE_LINUX_DEFAULT="quiet splash acpi_osi=! acpi_osi='Windows 2009'"
Em seguida, execute
sudo update-grub