The work-around provided by Johannes does work for me.
sudo vi /etc/default/grub # -- GRUB_CMDLINE_LINUX_DEFAULT="quiet splash i8042.nomux=1" # --
Parameter i8042.reset is not working for me, but does not effect the outcome.
sudo update-grub
The work-around provided by Johannes does work for me.
sudo vi /etc/default/grub LINUX_DEFAULT= "quiet splash i8042.nomux=1"
# --
GRUB_CMDLINE_
# --
Parameter i8042.reset is not working for me, but does not effect the outcome.
sudo update-grub