Re: [OpenBIOS] PCI setup code