Ubuntu
linux package

  1. Bug #1690085
  2. Comment #658

Comment 658 for bug 1690085

Revision history for this message
In , bp (bp-linux-kernel-bugs) wrote :

(In reply to Lars Viklund from comment #570)
> rdmsr yields 6800000000010, which has bit 4 set.

Looks like your BIOS applies the fix. Now, does the patch in comment #526 fix your freezes?