It works on my 3810T too :D
Personally I prefer :
GRUB_CMDLINE_LINUX_DEFAULT="quiet splash" GRUB_CMDLINE_LINUX="i8042.reset=1"
over
GRUB_CMDLINE_LINUX_DEFAULT="i8042.reset=1 quiet splash" GRUB_CMDLINE_LINUX=""
It works on my 3810T too :D
Personally I prefer :
GRUB_CMDLINE_ LINUX_DEFAULT= "quiet splash" LINUX=" i8042.reset= 1"
GRUB_CMDLINE_
over
GRUB_CMDLINE_ LINUX_DEFAULT= "i8042. reset=1 quiet splash" LINUX=" "
GRUB_CMDLINE_