Comment 17 for bug 216927

Is there a specific reason you run with active multiplexing disabled? i8042.debug might help to see what happens during the times the keyboard seems to be stuck. Have you tried running with nosmp or with acpi_apic_instance=2?