kernel-3.4.1-1.fc17.x86_64 hasn't had a bodhi request yet, so I can't give
it negative karma yet. On the one machine where I tried to login with a
graphical login (gdm) I was not able to enter text using my USB keyboard.
Rebooting into 3.4.0-1.fc17.x86_64 got things working again.