[x11-drivers/nvidia-drivers] add Linux 3.10 patch