Nvidia $192 Tegra TK1 board could be used as a Linux gaming PC