[OpenBIOS] [PATCH 0/8] pci: fix up PCI bridges