Re: [coreboot] A patch to replace the headers of three files - no functional changes.