Patch for the nvidia driver so that it works with a real-time kernel
No issues in this repository yet.