kernel-3.15.5-200.fc20 is in stable