Clarification on bpftool dual licensing

Hi,

I have a question regarding the dual licensing provision of bpftool. I 
understand that bpftool can be distributed as either GPL 2.0 or BSD 2-clause. 
That said, bpftool can also auto-generate BPF code that gets specified inline 
in the skeleton header file, and it's possible that the BPF code generated is 
GPL. What I'm wondering is what happens if bpftool generates GPL-licensed BPF 
code inside the skeleton header, so that you get a header like this:

something.skel.h:
/* this file is BSD 2-clause, by nature of dual licensing */

/* THIS FILE IS AUTOGENERATED! */

/* standard skeleton definitions */

...

s->data_sz = XXX;
s->data = (void *)"\
<eBPF bytecode, produced by GPL 2.0 sources, specified in binary>
";

My guess is that, based on the choice to dual-license bpftool, the header is 
meant to still be BSD 2-clause, and the s->data inline code's GPL license is 
not meant to change the licensing of the header itself, but I wanted to 
double-check, especially as I am not a lawyer. If this is indeed the intent, 
is there any opposition to a patch clarifying this more explicitly in 
Documentation/bpf/bpf_licensing.rst?

Thanks,
Martin