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.