K 10
svn:author
V 10
nwhitehorn
K 8
svn:date
V 27
2010-03-16T15:52:38.451786Z
K 7
svn:log
V 137
Explicitly set the CPU to 64-bit mode on reset. This makes SMP come
up a little further on Apple hardware.

Submitted by:	Andreas Tobler

END