Update installkernel.bash