Du wählst als Treiber das, was du als OS hast, egal ob für Mainboard, CPU & Co. Wenn du kein 64Bit OS hast, lädst du auch keine 64Bit Treiber, unabhängig davon was die Hardware kann.
/edit: Seh gerade das man da zwischen den beiden Athlon-Familien wechseln kann. Nun versteh ich auch Fleisch. Wenn sie aber WIRKLICH damit die Software meinen, wieso unterteilen sie dann nicht die anderen, zum Teil auch 64Bit fähigen Prozessoren? Ich denke das steht für die Hardware Bezeichnung. Wenn der Prozessor irgendwas mit "64" im Namen hat, guck dir die 64Bit Sachen an.
/double-edit:
Das hört sich doch gut an!