Re: [coreboot] [PATCH 1/5] Intel 3100, version 3: pci_ids.h updates