On Mon, Jun 18, 2012 at 04:52:36PM +0200, Thomas Schwinge wrote:

Hi Borislav!

First, thanks for helping!

Sure, np! :-)

quoted

Ok, can you do the following:

$ setpci -s 18.0 0x68.l

    $ sudo setpci -s 18.0 0x68.l
    0f00cc0f

quoted

$ rdmsr 0xc001001f

    $ sudo modprobe msr
    $ sudo rdmsr 0xc001001f
    8

Ok, this is a BIOS bug - we have a recommendation about what the BIOS
should do but yours doesn't do it. Are you sure you're using the latest
BIOS for your motherboard?

Can you check for updates and if you get a newer version, can you update
your BIOS and do the two commands above?

If there's no newer BIOS, we can try applying the workaround at boot in
an init script to fix your issue.

-- 
Regards/Gruss,
Boris.

Advanced Micro Devices GmbH
Einsteinring 24, 85609 Dornach
GM: Alberto Bozzo
Reg: Dornach, Landkreis Muenchen
HRB Nr. 43632 WEEE Registernr: 129 19551