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