[coreboot-gerrit] Patch set updated for coreboot: 8458395 boardstatus: Use Board:$vendor/$board for board pages.