[coreboot-gerrit] Patch merged into coreboot/master: cbded42 boardstatus: generate table of all boards with links to latest run