K 10 svn:author V 3 bjk K 8 svn:date V 27 2013-01-05T00:23:26.114059Z K 7 svn:log V 201 Fix some minor inaccuracies introduced in r243251. Also correct the comment in kern_synch.c which was the source of the problematic text. Reviewed by: kib (previous version) Approved by: hrs (mentor) END