Updated the main system (x86_64) to kernel 3.8.4, and (incrementally..) updated the Raspberry Pi (armv6), as well..

Latest VMware (9.02) and NVIDIA (313.26 and 310.40) drivers all compile without any patches..

Precise details here:  https://www.kernel.org/pub/linux/kernel/v3.x/ChangeLog-3.8.4

# uname -a
Linux rglinux 3.8.4 #1 SMP Thu Mar 21 02:03:44 GMT 2013 x86_64 x86_64 x86_64 GNU/Linux

‘Incremental’ patch from 3.8.3 (for the Pi) here: https://www.kernel.org/pub/linux/kernel/v3.0/incr/patch-3.8.3-4.bz2

Fedora release 18 (Spherical Cow)
Kernel 3.8.4-pi on an armv6l (ttyAMA0)
………………………
# uname -a
Linux rgpi 3.8.4-pi #1 Thu Mar 21 02:00:43 GMT 2013 armv6l armv6l armv6l GNU/Linux

Robert Gadsdon.   March 21, 2013.