That was indeed the problem. Thanks guys! :)Processor #0 6:15 APIC version 20
Setting APIC routing to physical flat
BIOS bug, no explicit IRQ entries, using default mptable. (tell your hw
vendor)
hmmm smells like a disabled ACPI, since normally this info comes from
ACPI nowadays, not the mptable
if you want to mail me at work (you don't), use arjan (at) linux.intel.com
Test the interaction between Linux and your BIOS via http://www.linuxfirmwarekit.org