Both the Jetson TK1 and TX1 have the hardware you want. Both have board support packages for Linux (Ubuntu, known as Linux for Tegra when hardware accelerated drivers are added).
None of them support Windows. Third party vendors (such as Toradex…see http://www.toradex.com) have their own versions of Tegra modules which support both Windows and Linux.