Comment 17 for bug 1241505

I can verify that your work-around does the job. My wireless keyboard is back to normal. I can also verify that it works in kernel-default-3.11.2 as well.

That was a fine piece of analytical work. ohci_pci needs to be in the initrd and it is not done automatically.

Thanks for all the work.