(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?
(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?