Installed kernel 3.10.2, and all appeared to be OK, but # dmesg revealed tombstones, with both the 319.32 and 325.08 ‘3.10-patched’ drivers: 319.32:[ 9522.805402] vgaarb: device changed decodes: PCI:0000:01:00.0,olddecodes=none,decodes=none:owns=io+mem [ 9522.805553] NVRM: loading NVIDIA UNIX x86_64 Kernel Module  319.32  Wed Jun 19 15:51:20 PDT 2013 [ 9522.805577] ————[ cut here ]———— [ 9522.805585] WARNING: at fs/proc/generic.c:356 proc_register+0xb8/0x140() … Continue reading →