- dovete modificare il file sudo xed /etc/default/grub (io uso xed come elaboratore di file di testo) sostituendo in GRUB_CMDLINE_LINUX_DEFAULT=”quiet splash” in modo che diventi GRUB_CMDLINE_LINUX_DEFAULT=”quiet splash i8042.notimeout i8042.nomux”
- aggiornare grub con il comando sudo update-grub
- riavviare il pc