remove.old.kernel.sh is a bash script