kill-shell: Also kill child processes

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