> I don't really understand what 'found in hex form in the kernel source' actually means - are these sections extracted from drivers of entirely unknown provenance? Why would they not be licensed in the same way as the containing code, which presumably is considered legally sound?
Well, taking the first one on the list as an example, it appears so. The firmware was found at sound/pci/korg1212/korg1212-firmware.h and moved into firmware/. I tried to find where it was added in Linus' git and in the history.git but I can't see where the file was actually added. Most of the ones above are pretty ancient. The firmware can't be under the same license (GPLv2) because no source code is provided for the firmware.