Re: [coreboot] GPL license headers