[SeaBIOS] [PATCH] pciinit: Fix build warning in mch_pci_slot_get_irq()