In grub2.cfg
Aggiungo però che senza utilizzare il PC (sta solo resincronizzando) ho due notifiche del genere (a distanza di 10 minuti una dall’altra):
Message from syslogd@localhost at Nov 20 16:32:37 ...
kernel: 1625.996196] do_IRQ: 2.72 No irq handler for vector (irq -1)
Mi vedo costretto ad anticipare la prova con acpi=off