NOT thousands of contributers. The only ones with copyright in the headers are the ones who WROTE the headers. That's it. Some random developer who has a small piece of code in the kernel has no copyright on the headers. That is if the headers even have copyright. Much like the SCO case the headers could be considered API/ABI and be completely fact and devoid of copyright. There is substantial case law to support that conclusion in the US.