--- bios/rombios32.c.orig	2008-06-17 07:36:35.000000000 -0600
+++ bios/rombios32.c	2008-06-17 07:37:02.000000000 -0600
@@ -619,21 +619,21 @@
 
 typedef struct PCIDevice {
     int bus;
     int devfn;
 } PCIDevice;
 
 static uint32_t pci_bios_io_addr;
 static uint32_t pci_bios_mem_addr;
 static uint32_t pci_bios_bigmem_addr;
 /* host irqs corresponding to PCI irqs A-D */
-static uint8_t pci_irqs[4] = { 10, 10, 11, 11 };
+static uint8_t pci_irqs[4] = { 10, 11, 7, 3 };
 static PCIDevice i440_pcidev;
 
 static void pci_config_writel(PCIDevice *d, uint32_t addr, uint32_t val)
 {
     outl(0xcf8, 0x80000000 | (d->bus << 16) | (d->devfn << 8) | (addr & 0xfc));
     outl(0xcfc, val);
 }
 
 static void pci_config_writew(PCIDevice *d, uint32_t addr, uint32_t val)
 {