VMware Workstation 10.0 has just been released.   This version is reported to work with later Kernels, without any patches..

Thanks to Tim for the info..   I will be upgrading and testing it later today..

Robert Gadsdon.   September 7, 2013.