[sanguinario]

Por cierto, he visto que el Windows que tenemos puesto es de 32 bits y el procesador soporta los 64 bits.

¿Se puede poner para 64 bits? Me da que únicamente reinstalando otro Windows, pero no sé si se puede...