Re: [OpenBIOS] PCI enumeration?