PPS: Regarding to the 3.1 vs 3.0 issue, is there the need to use an older version of the proprietary nvidia driver with current kernel-rt? I don't need the latest proprietary driver for my computer.