Hi,

Got a Thinkpad X31 where I have been trying to get ACPI working for a
long time. Only when I spotted AC's post about APIC being a no-no, did I
get somewhere. Now the kernel oopses while booting and I get no further.
Please find attached the console output for the failed boot, the decoded
oops and the config for the kernel.

Regards,

-- 
Anders Karlsson <anders@trudheim.com>
Trudheim Technology Limited