I don't have working R31 hardware to test anymore; could you confirm if this "i8042.nomux=1" workaround went into the main kernel and close this bug if it did. -- Thinkpad R31 requires 'i8042.nomux=1' on kernel commandline https://launchpad.net/bugs/21558