[coreboot-gerrit] Patch set updated for coreboot: bd1d4e5 google mainboards: add missing board_info.txt