Na verdade, consegui encontrar as especificações do computador e procurei o processador. Aparentemente, é uma máquina de 64 bits, mas por algum motivo veio com um sistema operacional de 32 bits. Portanto, ele deve ser capaz de executar o Windows 7 x64 sem problemas.