nvidia-kernel: added patch for linux >= 3.11