A note about possible existing kernel-devl package.
Merge pull request #973 from ClusterHQ/fedora-20-install

Missing commit from fedora-20-install branch.