K 10
svn:author
V 7
zeising
K 8
svn:date
V 27
2016-05-05T17:55:10.535602Z
K 7
svn:log
V 55
Fix kernel build with parallel make.

Approved by:	jhb

END