Re: [OpenBIOS] PCI config code.