> My speculation is that this gives Xilinx an alternative high performance AMD64 (and possibly lower performance & lower power x86) "hard cores" to displace the Arm cores.

I'm trying to imagine an x86-based Ultascale+ style processor.

Hopefully AMD can help fix the mess known as vivado and the petalinux tools. lol.