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