if i'm reading the output you've sent correctly, linux is getting the interrupt mappings from ACPI not the MP table. and your mp table is broken. i don't know very much about linux irq handling or acpi irq tables, but it's likely that your mb manufacturer didn't think a full mp table was worth his time.
so, i guess this is the menu of options in increasing amount of effort and accomplishment: 1. *nomp=1 2. bios update. 3. figure out what the mp table should be from the acpi tables and forge an mp table for archmp's benefit. 4. teach plan 9 to parse the acpi irq tables. cheer up! the acpi documentation is less than two feet thick. - erik
