kill-shell: Make the script more readable

Signed-off-by: Sebastian Schuberth <sschuberth@gmail.com>