[Vala] .vapi and GPL

[vasaka gmail com]

.vapi files are licensed under LGPL license, but some of them defines
bindings to kernel api and hence make use of linux headers on stage of
compiling generated C code which are GPL. does it mean that those
files also should be licensed under GPL or that one can reduce GPL to
LGPL since those vapi files are not derived from linux code?

--
vasaka