bash: Made some changes to kernel-compile script