Re: [coreboot] iPXE on multiple chips with the same PCI ID