tools/bpftool: Allow substituting custom vmlinux.h for the build