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


git-svn-id: svn+ssh://svn.freebsd.org/base/head@273550 ccf9f872-aa2e-dd11-9fc8-001c23d0bc1f