[PATCH] gitlab: Add a NVIDIA Jetson TK1 board to the sjg lab