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