The kernel indicated that machine check exceptions were logged, but did not tell what kind of exceptions.
In my case, this is usually the processor being throttled because it gets too hot (laptop...), but it
may also be more severe problems. Anyway, with this tool you can access these logs.
svn path=/nixpkgs/trunk/; revision=32547
