and he is using the nvidia binary modules. All bets are off.
Remember, those modules causing crashes are one of the main reasons that we know have modules declaring their licence when the kernel loads them and warnings being generated for non-GPL ones. They are probably written terribly internally, but there is no way of knowing. Avoid, avoid.