Just installed 3.8-rc6 on my test system, and – as for the previous -rc version – the softlink + vmci patch works for VMware 9.0.1.    The good news is that the latest ‘stable’ NVIDIA driver – 310.32 – now compiles OK with this kernel version..

$ uname -a
Linux rg6830l 3.8.0-rc6 #1 SMP Fri Feb 1 11:39:56 GMT 2013 x86_64 x86_64 x86_64 GNU/Linux

Robert Gadsdon.   January 2nd 2013.