Nvidia TK1 on PoP package

Have any vendors for TK1 based products been able to use the PoP (package-on-package) version of the chip? Seems like that would be a big selling point (but I’m not sure if they’ve released it, or whether you have to buy 30 million boards before you could use it).