[coreboot-gerrit] Patch merged into coreboot/master: 1f5487a coreboot_tables: reduce redundant data structures