Re: [coreboot] [patch] remove duplicate line from pci_ids.h