[coreboot-gerrit] Patch set updated for coreboot: e98de3b include: Fix spelling