scripts/decode_stacktrace.sh: guess path to vmlinux by release name