Because of the upgrade to 2007.2 I had to reinstall my VMWare-Player (as I have to do after each kernel-update).
But this time VMWare-Player doesn't install. I get an error:
Unable to make a vmmon module that can be loaded in the running kernel:
There is probably a slight difference in the kernel configuration between the
set of C header files you specified and your running kernel. You may want to
rebuild a kernel based on that directory, or specify another directory.
I run kernel 126.96.36.199-86, and the kernel-source is in /usr/src/linux-188.8.131.52-86