[coreboot-gerrit] Patch set updated for coreboot: 2e947f2 lint-stable: Check that modified boards contain meaningful board_info.txt.