Have you tried our new 64 bit operating system?
If you boot kernel.i686 3.3.7-1.fc17 it should be working out of the box ;-)
Otherwise try to remove kernel.i686 3.3.7-1.fc17, kernel-devel.i686 3.3.7-1.fc17 and kernel-headers.i686 3.3.7-1.fc17 and then install the PAE packages for kernel-devel and kernel-headers.
You might have to create a symlink, because apparently the PAE headers are using the same directory name (without PAE extension) as the normal 32 bit headers or when vmware asks just point it to the correct directory. Something like
Code:
/usr/src/kernels/3.3.7-1.fc17.i686/include
or whatever it's called.