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