Update to comment #42: I've used the computer in question a bit now, and discovered that video playback (VLC with Xv output) garbles the screen and then completely deadlocks the machine. Other than that, the KMS workaround seems just fine here.
Update to comment #42: I've used the computer in question a bit now, and discovered that video playback (VLC with Xv output) garbles the screen and then completely deadlocks the machine. Other than that, the KMS workaround seems just fine here.