It provide the vanilla kernel source.
But for Fedora core user:
You are not using the vanila kernel.
You kernel has been edited by the ferora project and thus its have a different source.
You can go to http://fedora.redhat.com
and go to the extras download page, you will see your kernel 's