[coreboot-gerrit] Patch set updated for coreboot: a1caa34 src/: some small texts fixes