Comment 47 for bug 1532746

Dea1993 (andrea-deangelis93) wrote :

@Dario if you use this option
i8042.dumbkbd
you don't need these to fix the problem
i8042.nomux=1 i8042.reset

so you can also only use
"quiet splash i8042.dumbkbd"