[OpenBIOS] [PATCH] pci: add PCI bridge support for 32-bit PCI IO address spaces