RE: [OpenBIOS] PCI enumeration?