Hello, I restart the machine on a older kernel : 3.2.0-3-amd64 and it works .... after "modprobe microcode"
Linux version 3.2.0-3-amd64 (Debian 3.2.21-3) (debian-ker...@lists.debian.org) (gcc version 4.6.3 (Debian 4.6.3-8) ) #1 SMP Thu Jun 28 09:07:26 UTC 2012 grep microcode kern.log ... microcode: CPU0: patch_level=0x010000c6 ... microcode: CPU0: new patch_level=0x010000db ... microcode: CPU1: patch_level=0x010000c6 ... microcode: CPU1: new patch_level=0x010000db ... microcode: CPU2: patch_level=0x010000c6 ... microcode: CPU2: new patch_level=0x010000db ... microcode: CPU3: patch_level=0x010000c6 ... microcode: CPU3: new patch_level=0x010000db ... microcode: Microcode Update Driver: v2.00 <tig...@aivazian.fsnet.co.uk>, Peter Oruba Should be related to kernel version, will try with other versions. Regards, JP P -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org