Update: The "acpi=off" kernel parameter works. It will completely switch off the ACPI subsystem and so the kernel will boot successfully. But without the ACPI support and therefore without HT support too! Fortunately, there is just another kernel parameter, "acpi=ht", which works too and causes that the ACPI will be active but only minimally, just for supporting HT. This is the fix I'm using right now. I don't have full ACPI support but HT is working.
Regards, -- Jakub Horky -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]