Hi all,
Good news! James and Sathya were correct, the bug is related to MSI:
specifying mpt_msi_enable=0 as option for the mptbase module solves the
problem and the system can boot as usual.
Having said this, do you still want me to try a patch, or perform some
additional test?
Just out of curiosity: do you intend to eventually modify the kernel so
to "support" and work around buggy hardware like the one we have (IBM
xSeries 335), so that Linux can work out of the box even on this hardware?
Thank everybody for your help
--
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