Anche con 4gb di ram direi di andare a 32bit, non penso siano a 800mhz