Just updated the test system to Kernel 3.13-rc6, which has a smaller changelog, due to the ‘holidays’..   Details are here:
http://article.gmane.org/gmane.linux.kernel/1621119/

As before, patched NVIDIA drivers 331.20 and 319.76 compile and load OK, as does VMware 10.0.1..

Robert Gadsdon.   December 30, 2013