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