It seemed there was no ‘legal’ way to fix the problem with NVIDIA driver compilation on Kernel 3.12-rc, but now – unusually – there is a kernel patch to fix this:
Thanks to conky_vs_julian (on the NVIDIA Devtalk forum) for this info.
More details – including a link to a 3.12 patch for NVIDIA drivers – can be found in this thread:
I have applied the kernel patch, and the NVIDIA ‘3.12 patch’ referenced in the thread, and can confirm that drivers 319.60 and 331.13 now compile OK on kernel 3.12-rc3.
The kernel patch is scheduled to be included with version 3.12-rc4.
This unusual situation may well explain why there was a delay in the provision of a ‘newer kernel’ version of the official NVIDIA drivers..
Robert Gadsdon October 6, 2013