kern/121558: Supermicro X7SB4 Fatal trap 12 when ACPI disabled

[Leon Kos]

I must amend my previous findings that CAD.hints to the kernel like

hw.pci13.0.INTA.irq=40
hw.pci15.0.INTA.irq=41
hw.pci5.0.INTA.irq=43

or

hw.pci13.0.INTA.irq=64
hw.pci15.0.INTA.irq=65
hw.pci5.0.INTA.irq=67

does not give me more than one character [|/\] boot progress  after issuing 
boot -v. IRQ offset was extracted from the lines

MADT: Found IO APIC ID 3, Interrupt 24 at 0xfecc0000
MADT: Found IO APIC ID 4, Interrupt 48 at 0xfecc0400

Kind regards!

Leon Kos, CAD lab, Mech.Eng., University of Ljubljana, Slovenia
(http://www.lecad.uni-lj.si/~leon)