[SeaBIOS] [PATCH 6/6] Simplify pci_slot_get_irq().