K 10 svn:author V 3 kib K 8 svn:date V 27 2014-06-30T09:54:08.241589Z K 7 svn:log V 112 MFC r267768: Add documentation for the fpu_kern(9) interfaces. MFC r267785 (by brueffer): Several small fixes. END