simplify bash completion for kernel-install