But, the question made here was a subtler one and you are all biting around the bush: there *are* some misrepresentations of licenses to the firmware blobs in the kernel (-- ok, *if* you consider that hex dumps are not source code). What Sven asked was: "Hey, can I state explicitly the distribution state in the source files, by means of adding some comments?".
I think even a clarification "this firmware hexdump is considered to be the source code, and it's GPL'd" would do, but I must put my asbestos suit everytime I say it. :-)