Updated to Kernel 3.19-rc6 on the test system, and – at last – the problem with NVIDIA driver GPL inconsistency has been fixed, and now driver 346.35 compiles and loads OK..
Details of changes since -rc5 are here: http://lkml.iu.edu/hypermail/linux/kernel/1501.3/00776.html
And the important change is that /arch/x86/mm/init.c now has EXPORT_SYMBOL(__cachemode2pte_tbl) instead of EXPORT_SYMBOL_GPL(__cachemode2pte_tbl)..etc..
VMware 11 – with the vmnet changes mentioned in a previous post (http://rglinuxtech.com/?p=1281) compiles and loads/runs OK..
Robert Gadsdon. January 26, 2015.