[coreboot-gerrit] Patch set updated for coreboot: 5594c5b board_status.sh name temp dir and print the name