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