Just updated the test system to Kernel 4.1-rc3, and confirmed that this is now OK with the latest NVIDIA drivers, and includes the change to linux/arch/x86/kernel/process.c as detailed in a previous article. Patched VMware 11.x is OK, as before..
# uname -a Linux rg6830l 4.1.0-rc3 #1 SMP Mon May 11 07:10:01 PDT 2015 x86_64 x86_64 x86_64 GNU/Linux
Brief details of changes from -rc2 are here: http://lkml.iu.edu/hypermail/linux/kernel/1505.1/01216.html
Marc Dionne (1):
x86: Make cpu_tss available to external modules