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