Re: [PATCH v3 2/2] bpf: makefiles: do not generate empty vmlinux.h