Paul: i8042.nomux=1 seems to work, after a quick test the problem does not seem to occur anymore. Will update this info if I notice otherwise the next days. -- Keyboard random repeat https://launchpad.net/bugs/39315