[coreboot-gerrit] Patch set updated for coreboot: inteltool: Add Intel 4-Series chipset detection