Bon, j'ai trouvé. Si ça intéresse quelqu'un, après avoir installé le pilote de CPU adéquat, il faut créer une clef HKEY_LOCAL_MACHINE/System/CurrentControlSet/Services/AmdK7/Parameters avec un paramètre HackFlags de valeur 1 (hexa). Rebooter, et ça marche !
C'était évident bien sûr
---------------
Serre les fesses jusqu'en 2012...