As noted in #214985, I've used https://bugs.launchpad.net/ubuntu/+source/acpi-support/+bug/23497/comments/17 , i.e.
sudo sh -c 'echo -n "i8042" > /sys/bus/platform/drivers/i8042/unbind' sudo sh -c 'echo -n "i8042" > /sys/bus/platform/drivers/i8042/bind'
to succesfully work-around the problem.
As noted in #214985, I've used https:/ /bugs.launchpad .net/ubuntu/ +source/ acpi-support/ +bug/23497/ comments/ 17 , i.e.
sudo sh -c 'echo -n "i8042" > /sys/bus/ platform/ drivers/ i8042/unbind' platform/ drivers/ i8042/bind'
sudo sh -c 'echo -n "i8042" > /sys/bus/
to succesfully work-around the problem.