On Fri, Feb 03, 2006 at 03:56:37PM -0500, William L. Thomson Jr. enlightened us:
Very sorry, on the package confusion. Totally my fault, my bad. However I know it was not using the src.rpm, and now have ruled out the kernel-devel one. Guess it must have been a binary kernel rpm with sources?
Nope, all that's included in the kernel-version.rpm is the contents of /boot and /lib/modules/version/*.ko