The two worst bugs are fixed, and the other two are at least understood now but I could use a bit more advice. It seems there is a weird race condition with DKMS/upstart/nvidia which has cropped up because due to faster boot, that looks tricky to get sorted, so feedback from people with experience in DKMS/upstart matters would be helpful.