Jetduino Digital I/O on the Jetson TK1