[coreboot-gerrit] New patch to review for coreboot: 771ec7d Enable publishing of board ID where supported