It may also be BIOS SMI handling or reset handling problems as a
similar case a vendor investigated showed to be. The first thing is
to make life easier for the BIOS - make sure your kernel doesnt have
APIC support included
-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/