Ano, je skutečně 64bitový.
Ověřit si to můžeš např. na webu AMD v ceníku procesorů (až dole na stránce).
http://www.amd.com/us-en/Processors/ProductInformat ion/0,,30_118_609,00.html?redir=CPT301
Nebo až budeš mít notebook v ruce, použij program CPU-Z, ten ti to potvrdí.