> tl;dr: Have installed Dave Hansen's patch as requested, rebooted.
>        Now it's a matter of waiting for lockup...

Well, the machine locked up again; it looks like Dave Hansen's patch
isn't the whie story.  Too bad I'm away from the office and can't get
at the console right now.

I'll get the extra information when I have the chance.