Ronny ringer från datorhallen. D-sektionens server tjuter säger han. Jag loggar in och kör dmesg:
[1668219.851236] Uhhuh. NMI received for unknown reason 31 on CPU 0.
[1668219.851284] Do you have a strange power saving mode enabled?
[1668219.851310] Dazed and confused, but trying to continue
