Tegra K1, 64bits e GPU com 192 núcleos - CocaTech