[coreboot-gerrit] New patch to review for coreboot: 6bd841c lint-stable: Check that modified boards conatin meaningful board_info.txt.