devtool: fix seccomp binary strip
devtool: fix seccomp binary strip

When stripping binaries, the path pointing to the seccompiler binary was
incorrect.

Since we're putting the seccomp binary in a different location than
standard binaries, this commit also adds a message for where to find the
stripped seccompiler binary.

Signed-off-by: Gabriel Ionescu <11a253f1dc12bb9191751579b54ccff8c3511f57@amazon.com>

firecracker-microvm/firecracker,firecracker-microvm/firecracker,firecracker-microvm/firecracker,firecracker-microvm/firecracker,firecracker-microvm/firecracker