Il problema è molto probabilmente legato al ACPI.
Dal syslog appare anche la segnalazione:
ACPI _OSC support notification failed, disabling PCIe ASPM
Purtroppo sembra che il firmware stia indicando al kernel che in realtà non supporta ASPM sul mio hardware.
A questo punto decido di forzare l’acpi e spegnere l’apm
sudo nano /etc/default/grub
modifica la riga:
GRUB_CMDLINE_LINUX_DEFAULT="quiet splash"
in:
GRUB_CMDLINE_LINUX_DEFAULT="quiet splash" acpi=force apm=power_off
salva e chiudi
sudo nano /etc/modules
aggiungi questa riga:
apm power_off=1
salva e chiudi
sudo update-grub