Synopsis: 'what kernel' doesn't work State-Changed-From-To: patched->closed State-Changed-By: matteo State-Changed-When: Sun Jul 31 11:59:49 GMT 2005 State-Changed-Why: Committed and MFC'ed http://www.freebsd.org/cgi/query-pr.cgi?pr=69821