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