1250 SPECINT is for a single core Cortex-A57. It's very unlikely you will ever see single-core Cortex-A57 in silicon. CCN-504 will enable 16-core systems. You are comparing single core Cortex-A57 vs dual core Intel. A fairer comparison of what you will see in silicon is 16-core Cortex-A57 vs dual or quad-core Intel. Or compare dual vs dual if you like. But comparing single Cortex-A57 to dual Intel is a silly and pointless comparison.

Based on the VIA report, the SpecInt2000 score of Atom D525 is 725@1.83G, http://www.via.com.tw/en/downloads/whitepapers/processors/NanoX2_whitepaper_201107.pdf.
So, yes, A15 core is able to outperform Atom Pineview core by a nice 40%+ margin. But this performance gain comes with the cost of power. Anand found that, under heavy load, Exynos 5 Dual (A15 core) consumes ~4W additional power over idle, while Atom N570 (similar Pineview core) consumes 2.6W more, http://www.anandtech.com/show/6422/samsung-chromebook-xe303-review-testing-arms-cortex-a15/7.
Atom2 (Silvermont) is supposed to be available in 2013. It will be very interesting to see how does it compare with A15/A57.

Rick,
Did they go into the bus architecture. Does it use a full AXI bus?
If yes, there is a huge catalog of mature IP that can be put with the cores. If not, well, maybe in version 2.
Also, I have to ask the annoying question, what sort of PMIC will we need to run the thing?