[OpenBIOS] PCI setup