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.