K 10 svn:author V 6 brooks K 8 svn:date V 27 2013-05-20T21:16:38.649099Z K 7 svn:log V 117 Fix distributekernel in the non NO_ROOT case. PR: conf/178775 Submitted by: Garrett Cooper END