Sascha Wildner wrote: I think the error is that the directory you specified using DESTDIR didn't exist. Try creating it before the installkernel. I had. Something else was wrong, but now I need to restore the original boot kernel. I can retrace my steps, however, if need be.