[coreboot-gerrit] New patch to review for coreboot: e978c73 Publish the board ID value in coreboot table, when configured