kernel-devel problem (broken link, no PAE)

[Brian Mury]

I am trying to build the VirtualBox kernel module. It fails with this
error:

Makefile:159: *** Error: unable to find the sources of your current
Linux kernel. Specify KERN_DIR=<directory> and run Make again.  Stop.

In /lib/modules/2.6.33.4-95.fc13.i686.PAE there is a "build" symlink
that links to /usr/src/kernels/2.6.33.4-95.fc13.i686.PAE - but that
directory does not exist!

What *does* exist is /usr/src/kernels/2.6.33.4-95.fc13.i686 (note that
the .PAE extension is missing).

If I make a symlink from /usr/src/kernels/2.6.33.4-95.fc13.i686.PAE
to /usr/src/kernels/2.6.33.4-95.fc13.i686, the module will build, but
the kernel will not load it because it has the wrong version number.
>From /var/log/messages:

May 30 11:55:39 BrianF13 kernel: vboxdrv: version magic
'2.6.33.4-95.fc13.i686 SMP mod_unload 686 ' should be
'2.6.33.4-95.fc13.i686.PAE SMP mod_unload 686 '

Should there be a PAE version of kernel-devel? I can't find a package
for it.

Brian