Re: [coreboot] [PATCH 1/6] Intel EP80579 PCI device IDs