[OpenBIOS] [PATCH 3/5] arch: update pci_host_t host_ranges with values for each architecture