[PATCH v4 10/31] x86: Correct wording of coreboot source code