I doubt that they would be using such bleeding edge SoC if they want to aim at first half of 2014. Heck, best info I found was that the chips themselves are going to begin shipping in 2014. And building a phone around a brand new SoC will take longer than 6 months, even if they had a established OS (which they don't).