This fix is known to work. Globbing against the following DMI should catch it: system-manufacturer: IBM system-product-name: 2656* -- Thinkpad R31 requires 'i8042.nomux=1' on kernel commandline https://launchpad.net/bugs/21558