4-32 Chapter 4: BIOS setup
IRQ-xx assigned to [PCI Device]
When set to [PCI Device], the specic IRQ is free for use of PCI/PnP
devices. When set to [Reserved], the IRQ is reserved for legacy ISA
devices. Conguration options: [PCI Device] [Reserved]