[coreboot-gerrit] Patch set updated for coreboot: a3fc867 coreboot_table: Export mainboard id.