[OpenBIOS] [PATCH 2/4] pci.c: rework pci_host_set_interrupt_map() to use phandle_t rather than pci_config_t