Tenho um Intel Core2 Duo T5500, isto é processador a 64bit? Logo, é vantajoso utilizar um sistema operativo a 64bit...?