Not covered, yet.
APIC is enabled, but thanks for "cat /proc/interrrupts", makes it a
There are indeed free interrupts/numbers not listed in /proc interrupts.
Only my BIOS settings are ignored when trying to assign certain devices
to IRQs. The BIOS options are also the wrong way: I can assign an IRQ#
to one or a group of devices... one of the devices is always grouped
with hdd. So I could assign a different IRQ# to the group, but don't
split it, to have the card on a single IRQ.