K 10
svn:author
V 3
jmg
K 8
svn:date
V 27
2014-10-23T17:24:50.238101Z
K 7
svn:log
V 137
minor updates to make it more explicit that when using fpu_kern_thread,
you don't need to use fpu_kern_enter/_leave...

Reviewed by:	kib

END