Hi,
Thank you for your interest in NXP Semiconductor products,
1. ENET supports 1588 timestamping and ENET_QOS support all 1588 timers to comply with TSN.
2. If you are planning to feed a 125 MHz for RGMII ang 1588 reference, you can use CLK_EXT as said but keep in mind the mappings.

If you are planing to use an extra reference (in addition to TXC) to the PHY, you can use the CLK_EXT1 ball,

Regards