The recent kernel 3.10.6 includes a – potential – performance improvement, by reverting some old (circa 3.8) patches, after research and testing by kernel contributors at Intel, and RedHat..   More details in the changelog, at:  https://www.kernel.org/pub/linux/kernel/v3.x/ChangeLog-3.10.6

3.11-rc5 is also out, and works fine with the patched versions of VMware 9.0.2, and NVIDIA 325.15.    Incidentally, the NVIDIA patch for 3.11 still (correctly) allows compilation for 3.10 kernels, and earlier..

Robert Gadsdon.  August 14, 2013.