God I hate Linux sometimes.
The problem is not the board... it's the f****n ACPI driver.
[root@gilboa-home-dev linux]# cat /proc/interrupts
0: 623449 608710 IO-APIC-edge timer
1: 871 1047 IO-APIC-edge i8042
8: 0 1 IO-APIC-edge rtc
9: 1 0 IO-APIC-level acpi
14: 5157 5295 IO-APIC-edge ide0
15: 5489 4962 IO-APIC-edge ide1
169: 15703 31399 IO-APIC-level aic7xxx
177: 6990 13 IO-APIC-level CMI8738-MC6, ehci_hcd, eth0
185: 0 0 IO-APIC-level EMU10K1
193: 164 18 IO-APIC-level ohci_hcd
201: 163 1307 IO-APIC-level ohci_hcd, nvidia
NMI: 0 0
LOC: 1232159 1232160
Not matter what I do I cannot disable the CONFIG_ACPI_BOOT flag, which controls the ACPI-on-boot function, which in-turn, does the god-awful IRQ allocation seen above. (I assume that it's hard-wired to SMP support or APIC)
The IRQ problem is not BIOS related (The BIOS manual IRQ allocation is being ignored completely). This is a pure Linux problem.
Adding noacpi, acpi=off, acpi=noirq or pci=biosirq does nothing.
Any ideas how can I control the ACPI IRQ routing functions?
Or: how can I force the OS to use the BIOS assigned IRQs?
DEV: Intel S5520SC, 2xX5680, 36GB, 5x320GB, GTX470, F19/x86_64, Dell U2711.
SRV: Tyan Tempest i5400XT, 2xE5335, 8GB, 4x2TB, 9800GTX, F19/x86-64, Dell U2412.
VCR: Gigabyte GA-M61PME-S2P, A64/5000X2, 2GB, 1x320GB, 8600GT, F19/x86-64.
LAP: ASUS N56VJ, i7-3630QM, 16GB, 1TB, 635M, F19/x86_64.