Re: [SeaBIOS] [PATCH 1/4] pci: add two-pass pci initialization code