[OS-BUILD PATCHv4 1/2] spec: use just-built bpftool for vmlinux.h generation