cat /proc/version

Linux version 3.11.7-200.fc19.x86_64

and latest installed version:

rpm -q kernel
kernel-3.11.6-201.fc19.x86_64
kernel-3.11.7-200.fc19.x86_64
kernel-3.11.8-200.fc19.x86_64

you need reboot kernel