Re: [LinuxBIOS] pci_level_irq: lower order bits are wrong: want 0x0, got 0x20