Build the 64-bit Jetson TX1 Kernel - View it on GitHub