[coreboot-gerrit] Patch set updated for coreboot: a531fc8 util/inteltool: Add pci ids for 4 northbridge models instead of 1.