bin/dump-arch: show kernel version