Peter,
I have updated my tree with all patches for Cavium's ThunderX:
git://git.kernel.org/pub/scm/linux/kernel/git/rric/linux.git thunder/master-v4.1
git://git.kernel.org/pub/scm/linux/kernel/git/rric/linux.git thunder/master-v4.2
https://git.kernel.org/cgit/linux/kernel/git/rric/linux.git/?h=thunder/ma...
https://git.kernel.org/cgit/linux/kernel/git/rric/linux.git/?h=thunder/ma...
It is booting with devicetree and ACPI. This patches supports CPU
revisions beginning 1.1.
Please consider that patch stack for inclusion into Fedora for ARM.
Let me know in case of questions or if you need help esp. with porting
it to Fedora.
Any suggestions how to move forward is appreciated.
Thanks,
-Robert