[OpenBIOS] [PATCH 4/5] pci: update pci_set_host_ranges() to use the new pci_arch_t host_ranges