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