Apparently (as announced in the forums; http://ubuntuforums.org/showthread.php?t=474144&page=33) the new 100.14.19 nvidia display driver is out and works without the patch.
Apparently (as announced in the forums; http:// ubuntuforums. org/showthread. php?t=474144& page=33) the new 100.14.19 nvidia display driver is out and works without the patch.