fixing issue in the install_rt_kernel script