Hi there.
The psmouse.c problem (see this kernel bug http://bugzilla.kernel.org/show_bug.cgi?id=8740) can be fixed using i8042.nomux=1, the keyboard stuck keys problem is instead the current kernel bug 9147:
http://bugzilla.kernel.org/show_bug.cgi?id=9147
To which there is no known workaround except that of disabling ACPI (or some ACPI modules).
Hi there.
The psmouse.c problem (see this kernel bug http:// bugzilla. kernel. org/show_ bug.cgi? id=8740) can be fixed using i8042.nomux=1, the keyboard stuck keys problem is instead the current kernel bug 9147:
http:// bugzilla. kernel. org/show_ bug.cgi? id=9147
To which there is no known workaround except that of disabling ACPI (or some ACPI modules).