[coreboot-gerrit] Patch set updated for coreboot: 31a0eb1 Updates to the board status script