[coreboot-gerrit] Patch set updated for coreboot: 32afdd4 board_status.sh allow cmd() to not save output