Hi, I've recorded (via netconsole) logs from the ACPI layer, when system was booted in the "nosmp" mode. More details are provided at: https://bugzilla.kernel.org/show_bug.cgi?id=42844 and logs themselves are at: https://bugzilla.kernel.org/attachment.cgi?id=107235
-- Regards, Wojtek PS. On Dell community: http://en.community.dell.com/support-forums/laptop/f/3518/p/19461885/20163787.aspx somebody has suggested that "The problem seems to be in the DSDT table, which can be fixed with updating the firmware Dell...", however she/he has not suggested which firmware should be updated. I run my Vostro 3750 with newest version of all firmwares (in fact my USB3.0 controller uses even the newest version available from Renesas, newer than offered by Dell), and problem still persists :-(. -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org