I was having problems getting it to go. The vmware-config.pl was having issues with the kernel headers.
Turns out, you just have to look in the right place. Amazing, eh?
For my install, it was
I also needed to actually, you know, reboot to get that shiny new kernel running.