[coreboot-gerrit] Patch set updated for coreboot: 7a0dc4b rush: Correct version field to match t132