P.S. If you have ANY hint, on how to gather more information about this issue,
I would be most grateful.  Maybe there is some way to make the kernel dump
stacktraces somewhere, or to make the hardware itself dump information
someplace...?