[coreboot-gerrit] Patch merged into coreboot/master: cb0d772 Add board_info for all Google/Intel boards mitting the file