zakharov/nvidia-rt

Patch for the nvidia driver so that it works with a real-time kernel