[coreboot-gerrit] Patch set updated for coreboot: google/intel mainboards: Add missing board_info.txt files