[coreboot-gerrit] Patch merged into coreboot/master: 13c7db8 board_status.sh: name temp dir and print the name