Had this same issue and the workaround in #35 solved it:
Steps: #open /etc/default/grub for editing as root sudo gedit /etc/default/grub
# find the line GRUB_CMDLINE_LINUX="" and add the options "i8042.nomux=1 i8042.reset" # example: GRUB_CMDLINE_LINUX="i8042.nomux=1 i8042.reset"
#update grub: sudo update-grub
Had this same issue and the workaround in #35 solved it:
Steps:
#open /etc/default/grub for editing as root
sudo gedit /etc/default/grub
# find the line GRUB_CMDLINE_ LINUX=" " and add the options "i8042.nomux=1 i8042.reset" LINUX=" i8042.nomux= 1 i8042.reset"
# example:
GRUB_CMDLINE_
#update grub:
sudo update-grub