[coreboot] New patch to review for coreboot: 86d76da Fix another typo