Thread: IRQ settings for PCI-devices keeps changing with boot / re-boot
What number comes after 78 and before 80?
