Comment 13 for bug 1241505

>gzip -cd /boot/initrd | cpio -t | grep usb

Here's the output:
  ---- start ----
lib/modules/3.11.0-27.g0a1c41f-desktop/kernel/drivers/usb
lib/modules/3.11.0-27.g0a1c41f-desktop/kernel/drivers/usb/host
lib/modules/3.11.0-27.g0a1c41f-desktop/kernel/drivers/usb/host/xhci-hcd.ko
usr/lib64/libusbmuxd.so.1.0.8
usr/lib64/libusbmuxd.so.2
usr/lib64/libusb-1.0.so.0.1.0
usr/lib64/libusb-1.0.so.0
usr/lib64/libusb-0.1.so.4.4.4
usr/lib64/libusb-0.1.so.4
usr/lib/udev/usb_modeswitch
config/usb.sh
48651 blocks
boot/11-usb.sh
 ---- end ---

I also checked the output with kernel 3.10.10, and it is almost identical
(except for the kernel version in the module path). Everything works
with the 3.10.10 kernel, but not with the 3.11.0 kernel.

My keyboard is a plain Dell USB keyboard. I have another computer, with the same keyboard model (but the computer itself is a lot newer). I do not have any problem on the newer computer.