That news isn't too surprising. What is surprising is that the TK1 variant with Denver CPU will be available in 2H 2014 (with a pin-compatible layout to boot!). So you can see why Tegra K1 is such an incredible milestone for NVIDIA. In one generation (!) of ultra mobile product in 2014, they will have support for: unified shader architecture, DX11.2, OpenGL 4.4, CUDA 6, OpenGL ES 3.0, geometry shaders, tesselation, 64-bit Windows on ARM, 64-bit Android, fully custom low power CPU.
Due to the timeframe that Surface 3 will be released (ie. 2H 2014), the inclusion of a Denver 64-bit CPU could make for a very interesting product and perhaps an OS overhaul too.
The only thing I'm not too optimistic about is seeing TK1 in a smartphone in the USA (since carriers with CDMA technology are forced to use Qualcomm's tech). If a TK1-powered smartphone becomes available in the USA on a non-CDMA carrier (such as AT&T), I will probably buy it.