Due to a known bug in Fedora 20 with some selinux updates I recognized a connected problem on my machine. While updating some packages I found this message:

Security: kernel-3.12.8-300.fc20.x86_64 is an installed security update
Security: kernel-3.12.7-300.fc20.x86_64 is the currently running version …