[coreboot-gerrit] Patch merged into coreboot/master: fb2a9a9 lint-stable: Check that modified boards contain meaningful board_info.txt.