K 10
svn:author
V 10
nwhitehorn
K 8
svn:date
V 27
2011-06-02T14:21:20.988927Z
K 7
svn:log
V 61
Explicitly initialize the first thread's MSR to PSL_KERNSET.

END