K 10 svn:author V 7 glebius K 8 svn:date V 27 2016-05-04T17:27:49.429238Z K 7 svn:log V 358 Merge r299077, which provides ability to override NO_INSTALLEXTRAKERNELS. Override NO_INSTALLEXTRAKERNELS for the release build. Historically, in the stable/10 branch the regular 'installkernel' target DID NOT install extra kernels, while the release build DID. This change finally restores POLA, I hope. Reported by: Fedor Reviewed by: gjb END