[SeaBIOS] A question on SeaBIOS PCI Enumeration