sicuro che il t2080 sia un 64bit?