Comment # 36 on bug 953130 from H. Hansen

I don't have kernel-devel and kernel-source installed, and checking still takes
more than a minute.