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]