You havn't actually used those options. Sorry I was not very specific. You have to add those as kernel boot options. When grub starts (you may have to hit escape to get the menu), goto the kernel you want to use and hit 'e'. Then there are the boot arguments. Goto the one reading
"root=UUID=da2383c2-389a-457e-bd25-2c35cf1be8c2 ro quiet splash"
and change it to (for example)
"root=UUID=da2383c2-389a-457e-bd25-2c35cf1be8c2 ro quiet splash i8042.nomux=1"
Then hit enter (which brings you one level back) and then 'b' to boot with that configuration.
You havn't actually used those options. Sorry I was not very specific. You have to add those as kernel boot options. When grub starts (you may have to hit escape to get the menu), goto the kernel you want to use and hit 'e'. Then there are the boot arguments. Goto the one reading da2383c2- 389a-457e- bd25-2c35cf1be8 c2 ro quiet splash" da2383c2- 389a-457e- bd25-2c35cf1be8 c2 ro quiet splash i8042.nomux=1"
"root=UUID=
and change it to (for example)
"root=UUID=
Then hit enter (which brings you one level back) and then 'b' to boot with that configuration.