Safe way is edit /etc/defaults/grub and modify "splash quiet" line by including 'i8042.noloop=1'. After it run update-grub2.