> > IMHO users should not need to fix their environment. > > ( The discussion is a bit obsolete as we now have a fix. ) > > FWIW, I have no (and don't see any) problems simply appending > /sbin:/usr/sbin to the $PATH in/for the kernel's scripts. > Another workaround is to pass DEPMOD=/path/to/depmod in the kernel-build script. Again, such custom workarounds should not be necessary. - Sedat -