Re: [SeaBIOS] [PATCH v3 2/6] pci: activate two-pass pci initialization code