K 10 svn:author V 6 marcel K 8 svn:date V 27 2000-07-23T17:38:32.000000Z K 7 svn:log V 344 Name all kernels 'kernel'. This fixes the incompatible behaviour of the buildkernel and installkernel targets where the kernel was called after the config name. While here, fix the brokenness of the installkernel target. It used to use ${IMAKEENV}, but since that has a very restricted PATH, it couldn't find make(1). Use ${CROSSENV} instead. END