Easy access to the Linux Kernel for JetsonTK1 patched by Santyago, as found on the NVidia Dev forums @ https://devtalk.nvidia.com/default/topic/766303/embedded-systems/-customkernel-the-grinch-19-3-7-for-jetson-tk1/1/