Re: [SeaBIOS] A question on SeaBIOS PCI Enumeration