[coreboot] Patch merged into coreboot/master: 8a1dbc8 inteltool: fixup intel 5000 chipset pci ids