[coreboot-gerrit] Patch set updated for coreboot: cbded42 boardstatus: generate table of all boards with links to latest run