Nvidia said it is seeing interest for the Tegra K1 chip in microservers