K 10 svn:author V 3 ian K 8 svn:date V 27 2013-11-08T05:11:32.329814Z K 7 svn:log V 252 Build kernel tools along with other tools during world build, as well as during kernel build (if they didn't get done with world). This will make -DMODULES_WITH_WORLD work, and it ensures the kernel tools are built as part of 'make kernel-toolchain'. END