Bjorn,you were right, the serial dump was not complete because there was the "quiet" option specified as kernel parameter. I just uploaded the full (non-quiet) serial dump as attachment on the bugzilla web interface.
Thank you -- To unsubscribe from this list: send the line "unsubscribe linux-acpi" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html