HP ROM-Based Setup Utility - Manual (Page 73)

PCI IRQ Settings menu
These PCI IRQ options configure the legacy IRQ for embedded and slot-based PCI/PCIe devices.
Multiple devices can share one IRQ.
To change the IRQ assignment for a device, highlight the device and press the Enter key. A menu
is displayed with options to change the IRQ and disable the device.
PCI IRQ Settings menu 73