Update which_kernel.sh