Re: [PATCH 008/108] x86: Correct wording of coreboot source code