Actually, the i8042.nomux parameter is not enough. Sometimes it works,
sometimes it doesn't. The i8042.dumbkbd parameter seems to work better.
I'm having difficulties to properly debug this as the ATA driver also
hangs quite soon after boot.
--
After an upgrade to Karmic, system hangs on i8042
** Attachment added: AlsaDevices.txt
http://launchpadlibrarian.net/35605316/AlsaDevices.txt
** Attachment added: AplayDevices.txt
http://launchpadlibrarian.net/35605317/AplayDevices.txt
** Attachment added: ArecordDevices.txt
http://launchpadlibrarian.net/35605318/ArecordDevices.txt