[coreboot-gerrit] Patch set updated for coreboot: 416f842 jetway/j7f24: Add board_info.txt