Antwort: [PATCH v2 08/39] x86: Correct wording of coreboot source code