Unfortunately, if you have a PAE kernel, that document is wrong. Sigh, Linux documenters are so often sloppy.....
What seems to be missing is kernel-devel which is separate from the kernel package.
However, if you have the PAE kernel, which you probably do if it's not 64 bit Fedora, rather than kernel-deve, you'll have to install kernel-PAE-devel.
Please post the output of the command
uname -r
if this isn't clear.
If uname -r doesn't have PAE in it, then simply follow the inestimable Hlinger's device and look at the document he mentions, which will be correct.