I tried with linux-image-3.0.0-rc6-amd64 and the problem persists. Here the lines I think is the problem:
[ 9.330282] intel ips 0000:00:1f.6: CPU TDP doesn't match expected value (found 25, expected 29) [ 9.330299] intel ips 0000:00:1f.6: PCI INT C -> GSI 18 (level, low) -> IRQ 18 [ 9.330335] intel ips 0000:00:1f.6: failed to get i915 symbols, graphics turbo disabled [ 9.330474] intel ips 0000:00:1f.6: IPS driver initialized, MCP temp limit 90 -- Diego.- -- To UNSUBSCRIBE, email to debian-kernel-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/CADCgk1Kyu77ZtLA8GE0=zyddasfqgnshoan9zxcmbyf5y3s...@mail.gmail.com