Add i8042.nomux to line GRUB_CMDLINE_LINUX_DEFAULT in /etc/default/grub