And does adding "i8042.nomux=1" to the kernel boot options fix it, as suggested in the upstream kernel bug?
And does adding "i8042.nomux=1" to the kernel boot options fix it, as suggested in the upstream kernel bug?