Hello. I've done further checks: You can still use the old version: there is no updated microdes for yours CPUs.
It seems that there is an error in the kernel, on handling small microcodes. To test it: you should remove the last two microcodes from /usr/share/misc/microcode.dat i.e. from line 17218, containing /* m5ff4807.inc */ to the end. Or as alternative, you should upgrade the kernel. The fix seems included from the 2.6.19. I've not yet checked if the 2.6.18-4 of debian has this fix. ciao cate -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]