[PATCH v3 08/29] x86: Correct wording of coreboot source code