When I boot into kernel-3.1.4-1.fc16.x86_64 in GRUB2, the splash screen insists that the kernel version is 3.1.1-1. However, $ uname -r 3.1.4-1.fc16.x86_64
*** This bug has been marked as a duplicate of bug 732654 ***