(Snip) So, finally, 4 days after the kernel update, a corresponding nvidia kernel module was provided. Not a word anywhere as to why the module wasn&#39;t provided with the kernel as usual.<br>