Updated the test system to Kernel 3.14-rc4, and the VMware 10.0.1 (patched) and NVIDIA 331.49 (patched) compile and load OK..

Details of changes are here:  https://lkml.org/lkml/2014/2/23/234

Updated the Dreamplug to 3.14-rc4 as well:

Fedora release 18 (Spherical Cow)
Kernel 3.14.0-rc4 on an armv5tel (ttyS0)

The Odroid is not (yet) supported by the standard kernel-org tree, but hopefully it will soon be, as the version of 3.8.13 available is ancient and buggy, and still has various proprietary bits..

Robert Gadsdon.   February 24, 2014.