[SeaBIOS] [PATCH] seabios: Add a dummy PCI slot to irq mapping function