There is no package by name 'kernel-source'
or 'linux-source' for Fedora 9, AFAIK.
The package 'kernel-devel' has a very limited
set of files.
But the 'src.rpm's are available :
kernel-2.6.25-14.fc9.
src.rpm,
kernel-xen-2.6-2.6.25-2.fc9.
src.rpm
http://download.fedora.redhat.com/pu.../source/SRPMS/
Be aware that all update support for Fedora 9
ends in a couple of weeks.
.....