[coreboot-gerrit] New patch to review for coreboot: 3e0b0db google mainboards: add missing board_info.txt