Just updated the main system to Kernel 3.8.3, and everything works, as before. VMware 9.0.2 and NVIDIA 313.26 both compile and install/run without any problems.. This update contains several more ‘improvements’ for USB3 – amongst other things..
Details of all the changes, are here: https://www.kernel.org/pub/linux/kernel/v3.x/ChangeLog-3.8.3
$ uname -a
Linux rglinux 3.8.3 #1 SMP Fri Mar 15 01:20:29 GMT 2013 x86_64 x86_64 x86_64 GNU/Linux
Robert Gadsdon. March 15th, 2013