Comment 2 for bug 207832

I am having the same problem. Maybe this is related to https://bugs.launchpad.net/ubuntu/+source/linux/+bug/190414 ?

Adding clocksource=hpet to the kernel parameters seemed to work for me. As for the keyboard, I don't know - the problem is so intermittent for me that it would be impossible to troubleshoot. It happens maybe once or twice a day, depending on how much I use my computer, and doesn't seem to really be reproducible.