Como comentas arriba, no eres alguien que vaya a darle mucho uso a los juegos. Opino que cuatro cores a 1,5Ghz para mover el SO Android, son más que suficientes para ti. Hay terminales de un solo núcleo moviendo ICS.
En cualquier caso, la decisión es tuya, y escojas lo que escojas, disfrútalo!

