[fedora-arm] Re: Jetson TK1 and kernel 4.8