[OpenBIOS] [PATCH 12/13] pci: use ob_pci_bus_set_interrupt_map() to configure interrupts for Simba PCI bus B