For RX/TX pins, it is explicitly stated that you may use 3V3 instead, if the PHY is running 3V3 GPIOs.XE216-512-TQ128 Datasheet (X006991) wrote:"The SMI interface should be connected to two one-bit ports that are configured as
open-drain IOs, using external pull-ups to 2.5V. Ports 1C and 1D are notionally
allocated for this, but any GPIO can be used for this purpose."
I assume one may also use 3V3 on the SMI Interface without damaging the xcore?