Fix severe bug in installKernel

The original version of installkernel would causes the system to
become unbootable (the wrong file was copied into the kernel
image...)