[fedora-arm] Jetson TK1 and kernel 4.8

[Timothy Krantz]

Am I the only one who is having trouble with a Jetson TK1 and fedora 25 with
4.8 series kernels?

Mine has as of yet failed to boot on any of them.

But it boots just fine if I drop back to the last 4.7 kernel.

Tim