ARM: tegra: add Jetson TK1 board