Thanks, this worked for me for 3.5. I am at a loss as to why VMware does not offer support for the latest kernels.
This has puzzled me for a long time. I would think the code is more dependent on the kernel version than say Virtualbox which has no such problem (at most you need to rrerung the vboxdrv setup) ??? . You'd need to ask the develoeprs of course