[coreboot-gerrit] Patch set updated for coreboot: Reject duplicate results in board-status.