The issue of the toggle button at the top-right corner of the touch-pad switching off but not again, is still solved by the following:
1) sudo gedit /etc/default/grub
2) change the line
GRUB_CMDLINE_LINUX_DEFAULT="quiet splash"
to the following
GRUB_CMDLINE_LINUX_DEFAULT="quiet splash i8042.nomux"
3) save
4) sudo update-grub
5) restart the system
The issue of the toggle button at the top-right corner of the touch-pad switching off but not again, is still solved by the following:
1) sudo gedit /etc/default/grub LINUX_DEFAULT= "quiet splash" LINUX_DEFAULT= "quiet splash i8042.nomux"
2) change the line
GRUB_CMDLINE_
to the following
GRUB_CMDLINE_
3) save
4) sudo update-grub
5) restart the system