Comment # 104 on bug 913996 from Borislav Petkov

(In reply to James Moe from comment #103)
> (In reply to Borislav Petkov from comment #93)
> > 
> > Can you also read out the microcode version?
> > 
> $ modprobe msr

Thanks, ...

> My workstation:
> $ rdmsr 0x8b
> 10000db

I'm guessing that's the X4 640, right? Because I was missing the
microcode version from /proc/cpuinfo in comment #91...

> The main server:
> $ rdmsr 0x8b
> 0

This looks strange. So this system doesn't have *any* microcode applied,
if the 0 there is correct. How old is that BIOS, have you tried
upgrading it at some point?

Thanks.