K 10
svn:author
V 3
jhb
K 8
svn:date
V 27
2010-03-09T15:12:53.845885Z
K 7
svn:log
V 125
Now that the workaround for the AMD 10h CPUs is in place, re-enable machine
checks by default on amd64.

Discussed with:	alc

END